|
25
|
Computability and recursion
– Robert I. Soare
- 1996
|
|
1
|
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
– Robert I. Soare
- 2009
|
|
3
|
Computability and Incomputability
– Robert I. Soare
|
|
1
|
Gödel on computability *
– Wilfried Sieg
|
|
4
|
On the ubiquity of certain total type structures
– John Longley
- 2007
|
|
|
NORMALIZATION PROPERTIES OF SYMMETRIC LOGICAL CALCULI
– Peter Battyani
- 2007
|
|
2
|
The settling-time reducibility ordering
– Barbara F. Csima, Richard, A. Shore
|
|
2
|
Effective packing dimension of Π 0 1-classes
– Chris J. Conidis
- 2007
|
|
2
|
Soare, Bounding homogeneous models
– Barbara F. Csima, Valentina S. Harizanov, Denis R. Hirschfeldt, Robert I. Soare
|
|
1
|
Dynamic Properties of Computably Enumerable Sets
– Leo Harrington, Robert I. Soare
- 1995
|
|
|
Extensions, Automorphisms, and Definability
– Robert I. Soare
|
|
3
|
Towards a theory of intelligence
– Peter Kugel
|
|
1
|
Is mathematics consistent?
– Hitoshi Kitada
- 2003
|
|
|
Does Church-Kleene ordinal ω CK 1 exist?
– Hitoshi Kitada
- 2003
|
|
11
|
Codable Sets and Orbits of Computably Enumerable Sets
– Leo Harrington, Robert I. Soare
- 1995
|
|
|
1 2QUANTUM MECHANICS ∗
– Hitoshi Kitada
- 2003
|
|
|
Artificial Intelligence
– David B. Leake
- 2001
|
|
1
|
Structured Interview-based Evaluation of Spoken Multimodal Conversation with H.C. Andersen
– Niels Ole Bernsen, Laila Dybkjær, Laila Dybkjær
- 2004
|
|
1
|
Toward an evolvable neuromolecular hardware: A hardware design for a multilevel artificial brain with digital circuits
– Jong-chen Chen, Ruey-dong Chen, Jong-chen Chen, Ruey-dong Chen
- 2002
|
