Computer Science Logic
From MaRDI portal
Publication:5292640
DOI10.1007/B13224zbMath1116.03330OpenAlexW2623947920MaRDI QIDQ5292640
John M. Hitchcock, Jack H. Lutz, Sebastiaan A. Terwijn
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b13224
Descriptive set theory (03E15) Algorithmic information theory (Kolmogorov complexity, etc.) (68Q30) Applications of computability and recursion theory (03D80)
This page was built for publication: Computer Science Logic