Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993774906> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1993774906 endingPage "101" @default.
- W1993774906 startingPage "85" @default.
- W1993774906 abstract "Soundness and adequacy theorems are presented for the expressive power of higher-order initial algebra specifications with respect to the arithmetical and analytical hierarchies. These results demonstrate that higher-order initial algebra semantics substantially extends the power of both first-order initial and first-order final algebra semantics. It thus provides a unifying framework for all three different approaches to the semantics of algebraic specifications." @default.
- W1993774906 created "2016-06-24" @default.
- W1993774906 creator A5047939299 @default.
- W1993774906 creator A5082190944 @default.
- W1993774906 date "1996-01-01" @default.
- W1993774906 modified "2023-09-28" @default.
- W1993774906 title "On the Power of Higher-Order Algebraic Specification Methods" @default.
- W1993774906 cites W1488721712 @default.
- W1993774906 cites W1603788080 @default.
- W1993774906 cites W174471988 @default.
- W1993774906 cites W1966640938 @default.
- W1993774906 cites W1966748830 @default.
- W1993774906 cites W1992266201 @default.
- W1993774906 cites W2007898361 @default.
- W1993774906 cites W2021123034 @default.
- W1993774906 cites W2059568104 @default.
- W1993774906 cites W2062341323 @default.
- W1993774906 cites W2077012426 @default.
- W1993774906 cites W2117832390 @default.
- W1993774906 cites W2471957410 @default.
- W1993774906 cites W83139932 @default.
- W1993774906 doi "https://doi.org/10.1006/inco.1996.0007" @default.
- W1993774906 hasPublicationYear "1996" @default.
- W1993774906 type Work @default.
- W1993774906 sameAs 1993774906 @default.
- W1993774906 citedByCount "8" @default.
- W1993774906 countsByYear W19937749062013 @default.
- W1993774906 crossrefType "journal-article" @default.
- W1993774906 hasAuthorship W1993774906A5047939299 @default.
- W1993774906 hasAuthorship W1993774906A5082190944 @default.
- W1993774906 hasBestOaLocation W19937749061 @default.
- W1993774906 hasConcept C10138342 @default.
- W1993774906 hasConcept C112343008 @default.
- W1993774906 hasConcept C118615104 @default.
- W1993774906 hasConcept C134306372 @default.
- W1993774906 hasConcept C136119220 @default.
- W1993774906 hasConcept C138354692 @default.
- W1993774906 hasConcept C14394260 @default.
- W1993774906 hasConcept C162324750 @default.
- W1993774906 hasConcept C170517529 @default.
- W1993774906 hasConcept C182306322 @default.
- W1993774906 hasConcept C184337299 @default.
- W1993774906 hasConcept C195818886 @default.
- W1993774906 hasConcept C199360897 @default.
- W1993774906 hasConcept C202444582 @default.
- W1993774906 hasConcept C2777691520 @default.
- W1993774906 hasConcept C2779729104 @default.
- W1993774906 hasConcept C33923547 @default.
- W1993774906 hasConcept C39920170 @default.
- W1993774906 hasConcept C41008148 @default.
- W1993774906 hasConcept C9376300 @default.
- W1993774906 hasConceptScore W1993774906C10138342 @default.
- W1993774906 hasConceptScore W1993774906C112343008 @default.
- W1993774906 hasConceptScore W1993774906C118615104 @default.
- W1993774906 hasConceptScore W1993774906C134306372 @default.
- W1993774906 hasConceptScore W1993774906C136119220 @default.
- W1993774906 hasConceptScore W1993774906C138354692 @default.
- W1993774906 hasConceptScore W1993774906C14394260 @default.
- W1993774906 hasConceptScore W1993774906C162324750 @default.
- W1993774906 hasConceptScore W1993774906C170517529 @default.
- W1993774906 hasConceptScore W1993774906C182306322 @default.
- W1993774906 hasConceptScore W1993774906C184337299 @default.
- W1993774906 hasConceptScore W1993774906C195818886 @default.
- W1993774906 hasConceptScore W1993774906C199360897 @default.
- W1993774906 hasConceptScore W1993774906C202444582 @default.
- W1993774906 hasConceptScore W1993774906C2777691520 @default.
- W1993774906 hasConceptScore W1993774906C2779729104 @default.
- W1993774906 hasConceptScore W1993774906C33923547 @default.
- W1993774906 hasConceptScore W1993774906C39920170 @default.
- W1993774906 hasConceptScore W1993774906C41008148 @default.
- W1993774906 hasConceptScore W1993774906C9376300 @default.
- W1993774906 hasIssue "1" @default.
- W1993774906 hasLocation W19937749061 @default.
- W1993774906 hasOpenAccess W1993774906 @default.
- W1993774906 hasPrimaryLocation W19937749061 @default.
- W1993774906 hasRelatedWork W1420164130 @default.
- W1993774906 hasRelatedWork W1453568478 @default.
- W1993774906 hasRelatedWork W1525238445 @default.
- W1993774906 hasRelatedWork W1535840459 @default.
- W1993774906 hasRelatedWork W1540695267 @default.
- W1993774906 hasRelatedWork W1545848507 @default.
- W1993774906 hasRelatedWork W1993774906 @default.
- W1993774906 hasRelatedWork W2027875302 @default.
- W1993774906 hasRelatedWork W2585103001 @default.
- W1993774906 hasRelatedWork W2734938181 @default.
- W1993774906 hasVolume "124" @default.
- W1993774906 isParatext "false" @default.
- W1993774906 isRetracted "false" @default.
- W1993774906 magId "1993774906" @default.
- W1993774906 workType "article" @default.