Decision problems for tag systems (Q5663844): Difference between revisions

@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+The Immortality Problem for Post Normal Systems
@@ Property / cites work: The Immortality Problem for Post Normal Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Monogenic Post Normal Systems of Arbitrary Degree
@@ Property / cites work: Monogenic Post Normal Systems of Arbitrary Degree / rank @@
+Normal rank
@@ Property / cites work @@
+Quantificational variants on the halting problem for turing machines
+Normal rank
@@ Property / cites work @@
+Automata Studies. (AM-34)
@@ Property / cites work: Automata Studies. (AM-34) / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Unsolvability in Formal Grammars
@@ Property / cites work: Degrees of Unsolvability in Formal Grammars / 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 @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+Machine Configuration and Word Problems of Given Degree of Unsolvability
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Universality of Tag Systems with             <i>P</i>             = 2
@@ Property / cites work: Universality of Tag Systems with <i>P</i> = 2 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church.
+Normal rank
@@ Property / cites work @@
+On deterministic normal systems
@@ Property / cites work: On deterministic normal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank