Diem-Grade Logischer Entscheidungsprobleme

This publication has 14 references indexed in Scilit:

• Many-one degrees associated with problems of tag
  The Journal of Symbolic Logic, 1973
• Degrees of unsolvability associated with Markov algorithms
  International Journal of Parallel Programming, 1972
• Combinatorial systems I. Cylindrical problems
  Journal of Computer and System Sciences, 1972
• Decision problems for tag systems
  The Journal of Symbolic Logic, 1971
• On the Decision Problem for Formulas in which all Disjunctions are Binary
  Published by Elsevier ,1971
• The many-one equivalence of some general combinatorial decision problems
  Bulletin of the American Mathematical Society, 1971
• The undecidability of the Turing machine immortality problem
  The Journal of Symbolic Logic, 1966
• On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church.
  MATHEMATICA SCANDINAVICA, 1966
• Linear orderings under one-one reducibility
  The Journal of Symbolic Logic, 1966
• Turing-machines and the Entscheidungsproblem
  Mathematische Annalen, 1962