The uniqueness condition for the double pushout transformation of algebras (Q2486006): Difference between revisions

@@ Property / author @@
-Francesc Rosselló
@@ Property / author: Francesc Rosselló / rank @@
-Normal rank
@@ Property / author @@
+Francesc Rosselló
@@ Property / author: Francesc Rosselló / 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.ins.2004.03.019
+Normal rank
@@ Property / OpenAlex ID @@
+W1993088323
@@ Property / OpenAlex ID: W1993088323 / rank @@
+Normal rank
@@ Property / cites work @@
+On the congruence extension property
@@ Property / cites work: On the congruence extension property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140276
@@ Property / cites work: Q3140276 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushout complements for partly total algebras
@@ Property / cites work: Pushout complements for partly total algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic transformation of unary partial algebras. I: Double-pushout approach
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+A note on the congruence extension property
@@ Property / cites work: A note on the congruence extension property / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism and concurrency in high-level replacement systems
+Normal rank
@@ Property / cites work @@
+Categorical principles, techniques and results for high-level-replacement systems in computer science
+Normal rank
@@ Property / cites work @@
+Q4299864
@@ Property / cites work: Q4299864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushout-complements and basic concepts of grammars in toposes
+Normal rank
@@ Property / cites work @@
+Q4502810
@@ Property / cites work: Q4502810 / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups with the congruence extension property
@@ Property / cites work: Semigroups with the congruence extension property / rank @@
+Normal rank
@@ Property / cites work @@
+On the congruence extension property for semigroups: preservation under homomorphic images
+Normal rank