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

@@ Property / DOI @@
-.1016/j.tcs.2018.03.021
@@ Property / DOI: 10.1016/j.tcs.2018.03.021 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2018.03.021
+Normal rank
@@ Property / OpenAlex ID @@
+W2884654433
@@ Property / OpenAlex ID: W2884654433 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2018.03.021
@@ Property / DOI: 10.1016/J.TCS.2018.03.021 / rank @@
+Normal rank