Degrees of unsolvability associated with Markov algorithms

This publication has 7 references indexed in Scilit:

• Meeting of the Association for Symbolic Logic, Atlantic City, 1971
  The Journal of Symbolic Logic, 1971
• The many-one equivalence of some general combinatorial decision problems
  Bulletin of the American Mathematical Society, 1971
• Quantificational variants on the halting problem for turing machines
  Mathematical Logic Quarterly, 1969
• The equivalence of some general combinatorial decision problems
  Bulletin of the American Mathematical Society, 1967
• Word Problems and Recursively Enumerable Degrees of Unsolvability. A First Paper on Thue Systems
  Annals of Mathematics, 1966
• Machine Configuration and Word Problems of Given Degree of Unsolvability
  Mathematical Logic Quarterly, 1965
• Recursively enumerable sets of positive integers and their decision problems
  Bulletin of the American Mathematical Society, 1944