Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995591087> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1995591087 endingPage "64" @default.
- W1995591087 startingPage "53" @default.
- W1995591087 abstract "The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by-interpretation approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions." @default.
- W1995591087 created "2016-06-24" @default.
- W1995591087 creator A5000631676 @default.
- W1995591087 creator A5008953592 @default.
- W1995591087 creator A5031060439 @default.
- W1995591087 creator A5062334330 @default.
- W1995591087 date "2011-06-17" @default.
- W1995591087 modified "2023-10-18" @default.
- W1995591087 title "Refinement by interpretation in π-institutions" @default.
- W1995591087 cites W1485360759 @default.
- W1995591087 cites W1560156849 @default.
- W1995591087 cites W1573560425 @default.
- W1995591087 cites W1579373647 @default.
- W1995591087 cites W1847493312 @default.
- W1995591087 cites W1988964526 @default.
- W1995591087 cites W1997753816 @default.
- W1995591087 cites W2010883554 @default.
- W1995591087 cites W2031740403 @default.
- W1995591087 cites W2075642720 @default.
- W1995591087 cites W2090661963 @default.
- W1995591087 cites W2095704391 @default.
- W1995591087 cites W2112648098 @default.
- W1995591087 cites W2154149088 @default.
- W1995591087 cites W4213219894 @default.
- W1995591087 cites W4242363200 @default.
- W1995591087 cites W4242462843 @default.
- W1995591087 cites W4292018938 @default.
- W1995591087 doi "https://doi.org/10.4204/eptcs.55.4" @default.
- W1995591087 hasPublicationYear "2011" @default.
- W1995591087 type Work @default.
- W1995591087 sameAs 1995591087 @default.
- W1995591087 citedByCount "3" @default.
- W1995591087 countsByYear W19955910872014 @default.
- W1995591087 countsByYear W19955910872016 @default.
- W1995591087 crossrefType "journal-article" @default.
- W1995591087 hasAuthorship W1995591087A5000631676 @default.
- W1995591087 hasAuthorship W1995591087A5008953592 @default.
- W1995591087 hasAuthorship W1995591087A5031060439 @default.
- W1995591087 hasAuthorship W1995591087A5062334330 @default.
- W1995591087 hasBestOaLocation W19955910871 @default.
- W1995591087 hasConcept C111472728 @default.
- W1995591087 hasConcept C12426560 @default.
- W1995591087 hasConcept C136119220 @default.
- W1995591087 hasConcept C138885662 @default.
- W1995591087 hasConcept C177148314 @default.
- W1995591087 hasConcept C199343813 @default.
- W1995591087 hasConcept C199360897 @default.
- W1995591087 hasConcept C202444582 @default.
- W1995591087 hasConcept C2524010 @default.
- W1995591087 hasConcept C2777686260 @default.
- W1995591087 hasConcept C33923547 @default.
- W1995591087 hasConcept C41008148 @default.
- W1995591087 hasConcept C527412718 @default.
- W1995591087 hasConcept C71924100 @default.
- W1995591087 hasConceptScore W1995591087C111472728 @default.
- W1995591087 hasConceptScore W1995591087C12426560 @default.
- W1995591087 hasConceptScore W1995591087C136119220 @default.
- W1995591087 hasConceptScore W1995591087C138885662 @default.
- W1995591087 hasConceptScore W1995591087C177148314 @default.
- W1995591087 hasConceptScore W1995591087C199343813 @default.
- W1995591087 hasConceptScore W1995591087C199360897 @default.
- W1995591087 hasConceptScore W1995591087C202444582 @default.
- W1995591087 hasConceptScore W1995591087C2524010 @default.
- W1995591087 hasConceptScore W1995591087C2777686260 @default.
- W1995591087 hasConceptScore W1995591087C33923547 @default.
- W1995591087 hasConceptScore W1995591087C41008148 @default.
- W1995591087 hasConceptScore W1995591087C527412718 @default.
- W1995591087 hasConceptScore W1995591087C71924100 @default.
- W1995591087 hasLocation W19955910871 @default.
- W1995591087 hasLocation W19955910872 @default.
- W1995591087 hasLocation W19955910873 @default.
- W1995591087 hasLocation W19955910874 @default.
- W1995591087 hasOpenAccess W1995591087 @default.
- W1995591087 hasPrimaryLocation W19955910871 @default.
- W1995591087 hasRelatedWork W1971753667 @default.
- W1995591087 hasRelatedWork W1997271576 @default.
- W1995591087 hasRelatedWork W2034881304 @default.
- W1995591087 hasRelatedWork W2052275678 @default.
- W1995591087 hasRelatedWork W2055191027 @default.
- W1995591087 hasRelatedWork W2061937439 @default.
- W1995591087 hasRelatedWork W2167683897 @default.
- W1995591087 hasRelatedWork W2348187822 @default.
- W1995591087 hasRelatedWork W2370854018 @default.
- W1995591087 hasRelatedWork W2559473971 @default.
- W1995591087 hasVolume "55" @default.
- W1995591087 isParatext "false" @default.
- W1995591087 isRetracted "false" @default.
- W1995591087 magId "1995591087" @default.
- W1995591087 workType "article" @default.