Degrees of unsolvability associated with Markov algorithms (Q4052103): Difference between revisions

@@ Property / cites work @@
+Word problems and recursively enumerable degrees at unsolvability. A first paper on Thue systems
+Normal rank
@@ Property / cites work @@
+Quantificational variants on the halting problem for turing machines
+Normal rank
@@ Property / cites work @@
+Q5643567
@@ Property / cites work: Q5643567 / rank @@
+Normal rank
@@ Property / cites work @@
+The many-one equivalence of some general combinatorial decision problems
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Machine Configuration and Word Problems of Given Degree of Unsolvability
+Normal rank
@@ Property / cites work @@
+The equivalence of some general combinatorial decision problems
+Normal rank
@@ Property / cites work @@
+Q5552754
@@ Property / cites work: Q5552754 / rank @@
+Normal rank