The undecidability of the Turing machine immortality problem (Q5559248): Difference between revisions

@@ Property / cites work @@
+Tag systems and lag systems
@@ Property / cites work: Tag systems and lag systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Turing-machines and the Entscheidungsproblem
@@ Property / cites work: Turing-machines and the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank