Fundamentals of Computation Theory
From MaRDI portal
Publication:5492952
DOI10.1007/11537311zbMath1123.03034MaRDI QIDQ5492952
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11537311
03B25: Decidability of theories and sets of sentences
03D10: Turing machines and related notions
03D28: Other Turing degree structures