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

@@ Property / author @@
-Bruno Durand
@@ Property / author: Bruno Durand / rank @@
-Normal rank
@@ Property / author @@
+Bruno Durand
@@ Property / author: Bruno Durand / 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/0304-3975(94)90244-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1968720345
@@ Property / OpenAlex ID: W1968720345 / rank @@
+Normal rank
@@ 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