Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory (2009)

Cached

Download Links

by Robert I. Soare
Citations:5 - 0 self

Active Bibliography

Contents The Interplay Between Computability and Incomputability Draft 619.tex – Robert I. Soare - 2008
Contents Incomputability, Turing Functionals, and Open Computing – Robert I. Soare - 2008
33 Computability and recursion – Robert I. Soare - 1996
5 The history and concept of computability – Robert I. Soare - 1999
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
3 Computability and Incomputability – Robert I. Soare
2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
663 An Efficient Context-Free Parsing Algorithm – Jay Earley - 1970