Sesqui-Pushout Rewriting with Type Refinements (Q3187801): Difference between revisions

@@ Property / cites work @@
+AGREE – Algebraic Graph Rewriting with Controlled Embedding
+Normal rank
@@ Property / cites work @@
+Sesqui-Pushout Rewriting
@@ Property / cites work: Sesqui-Pushout Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformation with Focus on Incident Edges
@@ Property / cites work: Graph Transformation with Focus on Incident Edges / 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 @@
+Q4037323
@@ Property / cites work: Q4037323 / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Graph Rewriting in Span-Categories
@@ Property / cites work: Graph Rewriting in Span-Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic Sesqui-Pushout Graph Rewriting
@@ Property / cites work: Polymorphic Sesqui-Pushout Graph Rewriting / rank @@
+Normal rank