Rice's theorem for the limit sets of cellular automata (Q1342233): Difference between revisions

@@ Property / cites work @@
+Decision procedures for surjectivity and injectivity of parallel maps for tessellation structures
+Normal rank
@@ Property / cites work @@
+Formal languages and global cellular automaton behavior
+Normal rank
@@ Property / cites work @@
+On the Limit Sets of Cellular Automata
@@ Property / cites work: On the Limit Sets of Cellular Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3802661
@@ Property / cites work: Q3802661 / rank @@
+Normal rank
@@ Property / cites work @@
+The Nilpotency Problem of One-Dimensional Cellular Automata
+Normal rank
@@ Property / cites work @@
+Q5533191
@@ Property / cites work: Q5533191 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680279
@@ Property / cites work: Q3680279 / rank @@
+Normal rank