Tag systems and Collatz-like functions (Q2474075): Difference between revisions

@@ Property / cites work @@
+Q4530860
@@ Property / cites work: Q4530860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103618
@@ Property / cites work: Q4103618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5321501
@@ Property / cites work: Q5321501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4830809
@@ Property / cites work: Q4830809 / rank @@
+Normal rank
@@ Property / cites work @@
+Why Gödel didn't have church's thesis
@@ Property / cites work: Why Gödel didn't have church's thesis / rank @@
+Normal rank
@@ Property / cites work @@
+Small universal one-state linear operator algorithm
+Normal rank
@@ Property / cites work @@
+Q4782711
@@ Property / cites work: Q4782711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737918
@@ Property / cites work: Q4737918 / rank @@
+Normal rank
@@ Property / cites work @@
+The 3x + 1 Problem and Its Generalizations
@@ Property / cites work: The 3x + 1 Problem and Its Generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+Frontier between decidability and undecidability: A survey
+Normal rank
@@ Property / cites work @@
+Busy beaver competition and Collatz-like problems
@@ Property / cites work: Busy beaver competition and Collatz-like problems / rank @@
+Normal rank
@@ Property / cites work @@
+Small Turing machines and generalized busy beaver competition
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q5586325
@@ Property / cites work: Q5586325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Closing the Circle: An Analysis of Emil Post's Early Work
+Normal rank
@@ Property / cites work @@
+Study of Limits of Solvability in Tag Systems
@@ Property / cites work: Study of Limits of Solvability in Tag Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Solvability of the Halting and Reachability Problem for Binary 2-tag Systems
+Normal rank
@@ Property / cites work @@
+P-completeness of Cellular Automaton Rule 110
@@ Property / cites work: P-completeness of Cellular Automaton Rule 110 / rank @@
+Normal rank
@@ Property / cites work @@
+Four Small Universal Turing Machines
@@ Property / cites work: Four Small Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Small fast universal Turing machines
@@ Property / cites work: Small fast universal Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+Small universal Turing machines
@@ Property / cites work: Small universal Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3661558
@@ Property / cites work: Q3661558 / rank @@
+Normal rank
@@ Property / cites work @@
+Tag systems and lag systems
@@ Property / cites work: Tag systems and lag systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5338317
@@ Property / cites work: Q5338317 / rank @@
+Normal rank