Partial pushout semantics of generics in DOL (Q724938): Difference between revisions

@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Weak inclusion systems
@@ Property / cites work: Weak inclusion systems / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+On Pushouts of Partial Maps
@@ Property / cites work: On Pushouts of Partial Maps / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesivity with Partial Maps instead of Spans
@@ Property / cites work: Adhesivity with Partial Maps instead of Spans / rank @@
+Normal rank
@@ Property / cites work @@
+Q4037323
@@ Property / cites work: Q4037323 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Web Languages – Towards an Institutional Perspective
+Normal rank
@@ Property / cites work @@
+The Distributed Ontology, Modeling and Specification Language – DOL
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Categories of partial maps
@@ Property / cites work: Categories of partial maps / rank @@
+Normal rank