Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons) (Q306278): Difference between revisions

@@ Property / cites work @@
+On Non-Computable Functions
@@ Property / cites work: On Non-Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Logic
@@ Property / cites work: Computability and Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Studies of Turing Machine Problems
@@ Property / cites work: Computer Studies of Turing Machine Problems / rank @@
+Normal rank
@@ Property / cites work @@
+The Determination of the Value of Rado's Noncomputable Function | sum(k) for Four-State Turing Machines
+Normal rank
@@ Property / cites work @@
+Q3675526
@@ Property / cites work: Q3675526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150942
@@ Property / cites work: Q3150942 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the Kepler conjecture
@@ Property / cites work: A proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q4906868
@@ Property / cites work: Q4906868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3971350
@@ Property / cites work: Q3971350 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875855
@@ Property / cites work: Q4875855 / rank @@
+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 @@
+Q3680281
@@ Property / cites work: Q3680281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4203822
@@ Property / cites work: Q4203822 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Langton's ant
@@ Property / cites work: Complexity of Langton's ant / rank @@
+Normal rank
@@ Property / cites work @@
+A note on busy beavers and other creatures
@@ Property / cites work: A note on busy beavers and other creatures / rank @@
+Normal rank
@@ Property / cites work @@
+Improved bounds for functions related to busy beavers
+Normal rank
@@ Property / cites work @@
+Q4875319
@@ Property / cites work: Q4875319 / rank @@
+Normal rank
@@ Property / cites work @@
+Problems in number theory from busy beaver competition
+Normal rank