Inversion of 2D cellular automata: Some complexity results (Q1341722): Difference between revisions

@@ Property / cites work @@
+Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284241
@@ Property / cites work: Q4284241 / rank @@
+Normal rank
@@ Property / cites work @@
+The surjectivity problem for 2D cellular automata
@@ Property / cites work: The surjectivity problem for 2D cellular automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility of 2D cellular automata is undecidable
+Normal rank
@@ Property / cites work @@
+Reversibility and surjectivity problems of cellular automata
+Normal rank
@@ Property / cites work @@
+Q5333602
@@ Property / cites work: Q5333602 / rank @@
+Normal rank
@@ Property / cites work @@
+Shorter Note: The Converse of Moore's Garden-of-Eden Theorem
+Normal rank
@@ Property / cites work @@
+Tesselations with local transformations
@@ Property / cites work: Tesselations with local transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability and nonperiodicity for tilings of the plane
+Normal rank
@@ Property / cites work @@
+Q3980261
@@ Property / cites work: Q3980261 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank