Matches in SemOpenAlex for { <https://semopenalex.org/work/W1989872709> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1989872709 abstract "We consider structured specifications built from flat specifications using union, translation and hiding with their standard model-class semantics in the context of an arbitrary institution. We examine the alternative of sound property-oriented semantics for such specifications, and study their relationship to model-class semantics. An exact correspondence between the two (completeness) is not achievable in general. We show through general results on property-oriented semantics that the semantics arising from the standard proof system is the strongest sound and compositional property-oriented semantics in a wide class of such semantics. We also sharpen one of the conditions that does guarantee completeness and show that it is a necessary condition." @default.
- W1989872709 created "2016-06-24" @default.
- W1989872709 creator A5062418524 @default.
- W1989872709 creator A5087292234 @default.
- W1989872709 date "2013-10-08" @default.
- W1989872709 modified "2023-10-03" @default.
- W1989872709 title "Property-oriented semantics of structured specifications" @default.
- W1989872709 cites W1496607686 @default.
- W1989872709 cites W1535848938 @default.
- W1989872709 cites W1559473997 @default.
- W1989872709 cites W1576273408 @default.
- W1989872709 cites W1586272280 @default.
- W1989872709 cites W1969510795 @default.
- W1989872709 cites W1994033778 @default.
- W1989872709 cites W1997753816 @default.
- W1989872709 cites W1998691016 @default.
- W1989872709 cites W2010883554 @default.
- W1989872709 cites W2059353311 @default.
- W1989872709 cites W2071749035 @default.
- W1989872709 cites W2129292012 @default.
- W1989872709 cites W2132371811 @default.
- W1989872709 cites W2135652513 @default.
- W1989872709 cites W2293815615 @default.
- W1989872709 cites W2492089900 @default.
- W1989872709 cites W2500166317 @default.
- W1989872709 cites W2973533397 @default.
- W1989872709 cites W4229783124 @default.
- W1989872709 doi "https://doi.org/10.1017/s0960129513000212" @default.
- W1989872709 hasPublicationYear "2013" @default.
- W1989872709 type Work @default.
- W1989872709 sameAs 1989872709 @default.
- W1989872709 citedByCount "4" @default.
- W1989872709 countsByYear W19898727092014 @default.
- W1989872709 countsByYear W19898727092015 @default.
- W1989872709 countsByYear W19898727092018 @default.
- W1989872709 crossrefType "journal-article" @default.
- W1989872709 hasAuthorship W1989872709A5062418524 @default.
- W1989872709 hasAuthorship W1989872709A5087292234 @default.
- W1989872709 hasBestOaLocation W19898727092 @default.
- W1989872709 hasConcept C111472728 @default.
- W1989872709 hasConcept C134306372 @default.
- W1989872709 hasConcept C138885662 @default.
- W1989872709 hasConcept C151730666 @default.
- W1989872709 hasConcept C154945302 @default.
- W1989872709 hasConcept C156325763 @default.
- W1989872709 hasConcept C17231256 @default.
- W1989872709 hasConcept C184337299 @default.
- W1989872709 hasConcept C189950617 @default.
- W1989872709 hasConcept C199360897 @default.
- W1989872709 hasConcept C207648694 @default.
- W1989872709 hasConcept C2777212361 @default.
- W1989872709 hasConcept C2779343474 @default.
- W1989872709 hasConcept C33923547 @default.
- W1989872709 hasConcept C41008148 @default.
- W1989872709 hasConcept C80444323 @default.
- W1989872709 hasConcept C86803240 @default.
- W1989872709 hasConcept C89497691 @default.
- W1989872709 hasConceptScore W1989872709C111472728 @default.
- W1989872709 hasConceptScore W1989872709C134306372 @default.
- W1989872709 hasConceptScore W1989872709C138885662 @default.
- W1989872709 hasConceptScore W1989872709C151730666 @default.
- W1989872709 hasConceptScore W1989872709C154945302 @default.
- W1989872709 hasConceptScore W1989872709C156325763 @default.
- W1989872709 hasConceptScore W1989872709C17231256 @default.
- W1989872709 hasConceptScore W1989872709C184337299 @default.
- W1989872709 hasConceptScore W1989872709C189950617 @default.
- W1989872709 hasConceptScore W1989872709C199360897 @default.
- W1989872709 hasConceptScore W1989872709C207648694 @default.
- W1989872709 hasConceptScore W1989872709C2777212361 @default.
- W1989872709 hasConceptScore W1989872709C2779343474 @default.
- W1989872709 hasConceptScore W1989872709C33923547 @default.
- W1989872709 hasConceptScore W1989872709C41008148 @default.
- W1989872709 hasConceptScore W1989872709C80444323 @default.
- W1989872709 hasConceptScore W1989872709C86803240 @default.
- W1989872709 hasConceptScore W1989872709C89497691 @default.
- W1989872709 hasIssue "2" @default.
- W1989872709 hasLocation W19898727091 @default.
- W1989872709 hasLocation W19898727092 @default.
- W1989872709 hasLocation W19898727093 @default.
- W1989872709 hasLocation W19898727094 @default.
- W1989872709 hasOpenAccess W1989872709 @default.
- W1989872709 hasPrimaryLocation W19898727091 @default.
- W1989872709 hasRelatedWork W1422032522 @default.
- W1989872709 hasRelatedWork W1558467648 @default.
- W1989872709 hasRelatedWork W1574611462 @default.
- W1989872709 hasRelatedWork W2007334542 @default.
- W1989872709 hasRelatedWork W2035082615 @default.
- W1989872709 hasRelatedWork W2125406856 @default.
- W1989872709 hasRelatedWork W2623701236 @default.
- W1989872709 hasRelatedWork W2753815840 @default.
- W1989872709 hasRelatedWork W2804733059 @default.
- W1989872709 hasRelatedWork W783270985 @default.
- W1989872709 hasVolume "24" @default.
- W1989872709 isParatext "false" @default.
- W1989872709 isRetracted "false" @default.
- W1989872709 magId "1989872709" @default.
- W1989872709 workType "article" @default.