Partial pullback complement rewriting along admissible matches (Q2055979): Difference between revisions

@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222781
@@ Property / cites work: Q4222781 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to extensive and distributive categories
+Normal rank
@@ Property / cites work @@
+Sesqui-Pushout Rewriting
@@ Property / cites work: Sesqui-Pushout Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible Sesqui-Pushout Rewriting
@@ Property / cites work: Reversible Sesqui-Pushout Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Exponentiable morphisms, partial products and pullback complements
+Normal rank
@@ Property / cites work @@
+Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
+Normal rank
@@ Property / cites work @@
+Q2877677
@@ Property / cites work: Q2877677 / 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 @@
+Toposes Are Adhesive
@@ Property / cites work: Toposes Are Adhesive / 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 @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Partial pullback complement rewriting
@@ Property / cites work: Partial pullback complement rewriting / rank @@
+Normal rank