|
|
The Generic Model of Computation
– Nachum Dershowitz
|
|
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
|
|
25
|
Computability and recursion
– Robert I. Soare
- 1996
|
|
13
|
Algorithms: A quest for absolute definitions
– Andreas Blass, Yuri Gurevich
- 2003
|
|
8
|
The Church-Turing Thesis over Arbitrary Domains
– Udi Boker, Nachum Dershowitz
- 2008
|
|
|
The Influence of Domain . . .
– Udi Boker
- 2008
|
|
3
|
Computability and Incomputability
– Robert I. Soare
|
|
1
|
Historical Projects in Discrete Mathematics and Computer Science
– Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
|
|
|
Universality, Turing Incompleteness and Observers
– Klaus Sutner
|
|
|
Proving Church’s Thesis (Abstract)
– Yuri Gurevich
|
|
|
Abstract State Machines: A Generic Model of Computation
– Nachum Dershowitz
- 2010
|
|
9
|
The Broad Conception Of Computation
– B. Jack Copeland
- 1997
|
|
1
|
The physical and philosophical implications of the Church-Turing thesis
– Eleni Pagani
- 2004
|
|
|
Inductive Inference of ... vs. ...-Definitions for Computable Functions
– John Case, Mandayam Suraj, Ayam Suraj
- 2002
|
|
|
Church’s Thesis
– Guram Bezhanishvili
|
|
1
|
The Incomputable Alan Turing
– S. Barry Cooper
|
|
5
|
THE MYTH OF UNIVERSAL COMPUTATION
– Selim G. Akl
- 2005
|
