Pragmatic and semantic aspects of a module concept for graph transformation systems (Q4645272): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61228-9_84
+Normal rank
@@ Property / OpenAlex ID @@
+W1582735816
@@ Property / OpenAlex ID: W1582735816 / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial theory of parameterized specifications in a general specification framework
+Normal rank
@@ Property / cites work @@
+Q4037314
@@ Property / cites work: Q4037314 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel and distributed derivations in the single-pushout approach
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
+Normal rank
@@ Property / cites work @@
+Models for the substitution axiom of UNITY logic
@@ Property / cites work: Models for the substitution axiom of UNITY logic / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+On structured graph grammars. I
@@ Property / cites work: On structured graph grammars. I / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Q4292252
@@ Property / cites work: Q4292252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785995
@@ Property / cites work: Q3785995 / rank @@
+Normal rank