Modularity of Ontologies in an Arbitrary Institution (Q2945717): Difference between revisions

@@ Property / cites work @@
+Reflective metalogical frameworks
@@ Property / cites work: Reflective metalogical frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Multi-modeling Language?
@@ Property / cites work: What Is a Multi-modeling Language? / rank @@
+Normal rank
@@ Property / cites work @@
+May I borrow your logic? (Transporting logical structures along maps)
+Normal rank
@@ Property / cites work @@
+Reflection in conditional rewriting logic
@@ Property / cites work: Reflection in conditional rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+Structured theories and institutions
@@ Property / cites work: Structured theories and institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Composing Hidden Information Modules over Inclusive Institutions
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Localized Operational Termination in General Logics
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+The Distributed Ontology, Modeling and Specification Language – DOL
+Normal rank
@@ Property / cites work @@
+Semantics of the Distributed Ontology Language: Institutes and Institutions
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ Property / cites work @@
+Amalgamation in the semantics of CASL
@@ Property / cites work: Amalgamation in the semantics of CASL / rank @@
+Normal rank
@@ Property / cites work @@
+Modular ontologies. Concepts, theories and techniques for knowledge modularization
+Normal rank