We prove that neat and natural fragments of Gödel's and Plotkin's capture complexity classes defined by imposing resource bounds on Turing machines. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Kristiansen, L. (2008). Recursion in higher types and resource bounded turing machines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5028 LNCS, pp. 336–348). https://doi.org/10.1007/978-3-540-69407-6_37
Mendeley helps you to discover research relevant for your work.