Theory and Applications of Models of Computation

DOI10.1007/11750321zbMath1178.03053MaRDI QIDQ5898929

Yue Yang, Liang Yu

Publication date: 30 April 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750321

Mathematics Subject Classification ID

03C57: Computable structure theory, computable model theory

03D28: Other Turing degree structures

03D55: Hierarchies of computability and definability