Matches in SemOpenAlex for { <https://semopenalex.org/work/W1617384822> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1617384822 abstract "We use the theory of institutions to capture the concept of a heterogeneous logical environment as a number of institutions linked by institution morphisms and comorphisms. We discuss heterogeneous specifications built in such environments, with inter-institutional specification morphisms based on both institution morphisms and comorphisms. We distinguish three kinds of heterogeneity: (1) specifications in logical environments with universal logic (2) heterogeneous specifications focused at a particular logic, and (3) heterogeneous specifications distributed over a number of logics." @default.
- W1617384822 created "2016-06-24" @default.
- W1617384822 creator A5040001719 @default.
- W1617384822 creator A5087292234 @default.
- W1617384822 date "2009-01-01" @default.
- W1617384822 modified "2023-09-25" @default.
- W1617384822 title "Heterogeneous Logical Environments for Distributed Specifications" @default.
- W1617384822 cites W1479988110 @default.
- W1617384822 cites W1491583272 @default.
- W1617384822 cites W1496607686 @default.
- W1617384822 cites W1506418353 @default.
- W1617384822 cites W1515857575 @default.
- W1617384822 cites W1562907065 @default.
- W1617384822 cites W1578654632 @default.
- W1617384822 cites W1660648242 @default.
- W1617384822 cites W1853944397 @default.
- W1617384822 cites W1871900403 @default.
- W1617384822 cites W1877482483 @default.
- W1617384822 cites W1894892925 @default.
- W1617384822 cites W1974190112 @default.
- W1617384822 cites W2000825654 @default.
- W1617384822 cites W2010883554 @default.
- W1617384822 cites W2028240423 @default.
- W1617384822 cites W2062871376 @default.
- W1617384822 cites W2070348936 @default.
- W1617384822 cites W2091567516 @default.
- W1617384822 cites W2132371811 @default.
- W1617384822 cites W2136416061 @default.
- W1617384822 cites W2973533397 @default.
- W1617384822 cites W423830787 @default.
- W1617384822 cites W4250846042 @default.
- W1617384822 cites W4254228903 @default.
- W1617384822 doi "https://doi.org/10.1007/978-3-642-03429-9_18" @default.
- W1617384822 hasPublicationYear "2009" @default.
- W1617384822 type Work @default.
- W1617384822 sameAs 1617384822 @default.
- W1617384822 citedByCount "19" @default.
- W1617384822 countsByYear W16173848222012 @default.
- W1617384822 countsByYear W16173848222013 @default.
- W1617384822 countsByYear W16173848222014 @default.
- W1617384822 countsByYear W16173848222016 @default.
- W1617384822 countsByYear W16173848222017 @default.
- W1617384822 countsByYear W16173848222018 @default.
- W1617384822 countsByYear W16173848222019 @default.
- W1617384822 crossrefType "book-chapter" @default.
- W1617384822 hasAuthorship W1617384822A5040001719 @default.
- W1617384822 hasAuthorship W1617384822A5087292234 @default.
- W1617384822 hasConcept C118615104 @default.
- W1617384822 hasConcept C137212723 @default.
- W1617384822 hasConcept C17744445 @default.
- W1617384822 hasConcept C199360897 @default.
- W1617384822 hasConcept C199539241 @default.
- W1617384822 hasConcept C20693621 @default.
- W1617384822 hasConcept C2780510313 @default.
- W1617384822 hasConcept C33923547 @default.
- W1617384822 hasConcept C41008148 @default.
- W1617384822 hasConcept C80444323 @default.
- W1617384822 hasConceptScore W1617384822C118615104 @default.
- W1617384822 hasConceptScore W1617384822C137212723 @default.
- W1617384822 hasConceptScore W1617384822C17744445 @default.
- W1617384822 hasConceptScore W1617384822C199360897 @default.
- W1617384822 hasConceptScore W1617384822C199539241 @default.
- W1617384822 hasConceptScore W1617384822C20693621 @default.
- W1617384822 hasConceptScore W1617384822C2780510313 @default.
- W1617384822 hasConceptScore W1617384822C33923547 @default.
- W1617384822 hasConceptScore W1617384822C41008148 @default.
- W1617384822 hasConceptScore W1617384822C80444323 @default.
- W1617384822 hasLocation W16173848221 @default.
- W1617384822 hasOpenAccess W1617384822 @default.
- W1617384822 hasPrimaryLocation W16173848221 @default.
- W1617384822 hasRelatedWork W1503248228 @default.
- W1617384822 hasRelatedWork W1515857575 @default.
- W1617384822 hasRelatedWork W1556566737 @default.
- W1617384822 hasRelatedWork W156128023 @default.
- W1617384822 hasRelatedWork W1589935762 @default.
- W1617384822 hasRelatedWork W1660648242 @default.
- W1617384822 hasRelatedWork W1871900403 @default.
- W1617384822 hasRelatedWork W1877482483 @default.
- W1617384822 hasRelatedWork W1988964526 @default.
- W1617384822 hasRelatedWork W1997753816 @default.
- W1617384822 hasRelatedWork W2010883554 @default.
- W1617384822 hasRelatedWork W206056444 @default.
- W1617384822 hasRelatedWork W2112448067 @default.
- W1617384822 hasRelatedWork W2120713972 @default.
- W1617384822 hasRelatedWork W2132371811 @default.
- W1617384822 hasRelatedWork W2135652513 @default.
- W1617384822 hasRelatedWork W2500166317 @default.
- W1617384822 hasRelatedWork W2573958660 @default.
- W1617384822 hasRelatedWork W2973533397 @default.
- W1617384822 hasRelatedWork W30041542 @default.
- W1617384822 isParatext "false" @default.
- W1617384822 isRetracted "false" @default.
- W1617384822 magId "1617384822" @default.
- W1617384822 workType "book-chapter" @default.