Matches in SemOpenAlex for { <https://semopenalex.org/work/W2769972541> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2769972541 abstract "$frac{3}{2}$-institutions have been introduced as an extension of institution theory that accommodates implicitly partiality of the signature morphisms together with its syntactic and semantic effects. In this paper we show that ordinary institutions that are equipped with an inclusion system for their categories of signatures generate naturally $frac{3}{2}$ -institutions with explicit partiality for their signature morphisms. This provides a general uniform way to build 3 -institutions for the foundations of conceptual blending and software evolution. Moreover our general construction allows for an uniform derivation of some useful technical properties." @default.
- W2769972541 created "2017-12-04" @default.
- W2769972541 creator A5071139324 @default.
- W2769972541 date "2017-11-10" @default.
- W2769972541 modified "2023-09-27" @default.
- W2769972541 title "Generic partiality for $frac{3}{2}$-institutions" @default.
- W2769972541 cites W1507692549 @default.
- W2769972541 cites W1535848938 @default.
- W2769972541 cites W1573327465 @default.
- W2769972541 cites W1602185806 @default.
- W2769972541 cites W198041307 @default.
- W2769972541 cites W1985249224 @default.
- W2769972541 cites W2004395100 @default.
- W2769972541 cites W2060430979 @default.
- W2769972541 cites W206056444 @default.
- W2769972541 cites W2201970214 @default.
- W2769972541 cites W2493333586 @default.
- W2769972541 cites W2752476769 @default.
- W2769972541 cites W2914821813 @default.
- W2769972541 cites W30041542 @default.
- W2769972541 cites W3125572598 @default.
- W2769972541 hasPublicationYear "2017" @default.
- W2769972541 type Work @default.
- W2769972541 sameAs 2769972541 @default.
- W2769972541 citedByCount "0" @default.
- W2769972541 crossrefType "posted-content" @default.
- W2769972541 hasAuthorship W2769972541A5071139324 @default.
- W2769972541 hasConcept C109359841 @default.
- W2769972541 hasConcept C136119220 @default.
- W2769972541 hasConcept C137212723 @default.
- W2769972541 hasConcept C144024400 @default.
- W2769972541 hasConcept C199360897 @default.
- W2769972541 hasConcept C202444582 @default.
- W2769972541 hasConcept C2524010 @default.
- W2769972541 hasConcept C2778029271 @default.
- W2769972541 hasConcept C2779696439 @default.
- W2769972541 hasConcept C2780510313 @default.
- W2769972541 hasConcept C33923547 @default.
- W2769972541 hasConcept C36289849 @default.
- W2769972541 hasConcept C41008148 @default.
- W2769972541 hasConceptScore W2769972541C109359841 @default.
- W2769972541 hasConceptScore W2769972541C136119220 @default.
- W2769972541 hasConceptScore W2769972541C137212723 @default.
- W2769972541 hasConceptScore W2769972541C144024400 @default.
- W2769972541 hasConceptScore W2769972541C199360897 @default.
- W2769972541 hasConceptScore W2769972541C202444582 @default.
- W2769972541 hasConceptScore W2769972541C2524010 @default.
- W2769972541 hasConceptScore W2769972541C2778029271 @default.
- W2769972541 hasConceptScore W2769972541C2779696439 @default.
- W2769972541 hasConceptScore W2769972541C2780510313 @default.
- W2769972541 hasConceptScore W2769972541C33923547 @default.
- W2769972541 hasConceptScore W2769972541C36289849 @default.
- W2769972541 hasConceptScore W2769972541C41008148 @default.
- W2769972541 hasLocation W27699725411 @default.
- W2769972541 hasOpenAccess W2769972541 @default.
- W2769972541 hasPrimaryLocation W27699725411 @default.
- W2769972541 hasRelatedWork W1558615636 @default.
- W2769972541 hasRelatedWork W162093743 @default.
- W2769972541 hasRelatedWork W1726442598 @default.
- W2769972541 hasRelatedWork W1780615115 @default.
- W2769972541 hasRelatedWork W2039909502 @default.
- W2769972541 hasRelatedWork W2153547099 @default.
- W2769972541 hasRelatedWork W2184593658 @default.
- W2769972541 hasRelatedWork W2185128289 @default.
- W2769972541 hasRelatedWork W2292428295 @default.
- W2769972541 hasRelatedWork W2597112604 @default.
- W2769972541 hasRelatedWork W2617217520 @default.
- W2769972541 hasRelatedWork W261743200 @default.
- W2769972541 hasRelatedWork W2883964127 @default.
- W2769972541 hasRelatedWork W2912302045 @default.
- W2769972541 hasRelatedWork W2942487569 @default.
- W2769972541 hasRelatedWork W3003887104 @default.
- W2769972541 hasRelatedWork W3036168088 @default.
- W2769972541 hasRelatedWork W33244721 @default.
- W2769972541 hasRelatedWork W38247301 @default.
- W2769972541 hasRelatedWork W2963454 @default.
- W2769972541 isParatext "false" @default.
- W2769972541 isRetracted "false" @default.
- W2769972541 magId "2769972541" @default.
- W2769972541 workType "article" @default.