|
1
|
A natural axiomatization of Church’s thesis
– Nachum Dershowitz, Yuri Gurevich
- 2007
|
|
1
|
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
– Robert I. Soare
- 2009
|
|
10
|
A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS
– Nachum Dershowitz, Yuri Gurevich
|
|
|
Quantum Computation: A Computer Science Perspective 1
– Anders K. H. Bengtsson
- 2005
|
|
|
unknown title
– Bhupinder Singh Anand
|
|
10
|
Mathematical Models of Interactive Computing
– Peter Wegner, Dina Goldin
- 1999
|
|
1
|
The Incomputable Alan Turing
– S. Barry Cooper
|
|
|
Extensions, Automorphisms, and Definability
– Robert I. Soare
|
|
25
|
Computability and recursion
– Robert I. Soare
- 1996
|
|
1
|
The physical and philosophical implications of the Church-Turing thesis
– Eleni Pagani
- 2004
|
|
14
|
Hypercomputation and the Physical Church-Turing Thesis
– Paolo Cotogno
- 2003
|
|
8
|
The Church-Turing Thesis over Arbitrary Domains
– Udi Boker, Nachum Dershowitz
- 2008
|
|
3
|
Three Paths to Effectiveness
– Udi Boker, Nachum Dershowitz
|
|
17
|
Infinitary Self Reference in Learning Theory
– John Case
- 1994
|
|
4
|
The Foundations of Psychology - A logico-computational inquiry into the concept of mind
– Jon Doyle, For Gerald Jay Sussman
- 1991
|
|
|
Contents
– Karl Svozil
- 2008
|
|
|
Church’s Thesis
– Guram Bezhanishvili
|
|
1
|
Historical Projects in Discrete Mathematics and Computer Science
– Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
|
|
1
|
On the Relative Sizes of Learnable Sets
– Lance Fortnow, Rusins Freivalds, William I. Gasarch, Martin Kummer, Stuart A. Kurtz, Carl H. Smith
|
