Neueste Veröffentlichungen

• Coding methods in computability theory and complexity theory
  Book/Monograph, Thesis
• Cappable recursively enumerable degrees and Post's program
  Article (Journal), Online Resource
• The theory of the recursively enumerable weak truth-table degrees is undecidable
  Article (Journal), Online Resource
• Definability and undecidability in recursion theoretic semilattices
  Book/Monograph, Thesis

Alle anzeigen (4)

Co-Autoren

• Ambos-Spies, Klaus
• Shore, Richard A.

Alle anzeigen (2)

Publikationsjahre

Publikationstypen