On quasi-unilateral universal Turing machines (Q5941258): Difference between revisions

@@ Property / cites work @@
+Q4850436
@@ Property / cites work: Q4850436 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-erasing turing machines: A new frontier between a decidable halting problem and universality
+Normal rank
@@ Property / cites work @@
+Q4850464
@@ Property / cites work: Q4850464 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Solvability of the halting problem for certain classes of Turing machines
+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 @@
+Q5586325
@@ Property / cites work: Q5586325 / rank @@
+Normal rank