|
|
1 2QUANTUM MECHANICS ∗
– Hitoshi Kitada
- 2003
|
|
|
Does Church-Kleene ordinal ω CK 1 exist?
– Hitoshi Kitada
- 2003
|
|
|
ω-inconsistency
– Hitoshi Kitada
- 2003
|
|
|
1 The Classical Theory of Vaughtian Models 3
– Robert I. Soare
- 2006
|
|
1
|
Dynamic Properties of Computably Enumerable Sets
– Leo Harrington, Robert I. Soare
- 1995
|
|
|
Extensions, Automorphisms, and Definability
– Robert I. Soare
|
|
1
|
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
– Robert I. Soare
- 2009
|
|
25
|
Computability and recursion
– Robert I. Soare
- 1996
|
|
3
|
Towards a theory of intelligence
– Peter Kugel
|
|
11
|
Codable Sets and Orbits of Computably Enumerable Sets
– Leo Harrington, Robert I. Soare
- 1995
|
|
3
|
Computability and Incomputability
– Robert I. Soare
|
|
|
Syntactic Characterization In Lisp Of The Polynomial Complexity Classes And Hierarchy
– Salvatore Caporaso, Michele Zito, Nicola Galesi, Emanuele Covino
- 1997
|
|
|
An Intensional Investigation of Parallelism
– Denis Dancanet
- 1994
|
|
|
Decision Procedure for a Fragment of Temporal Logic of Belief and Actions with Quantified Agent and Action Variables
– Regimantas PLIUSKEVICIUS, Aida PLIUSKEVICIENE
- 2004
|
|
1
|
Proving Properties of Typed Lambda Terms Using Realizability, Covers, and Sheaves
– Jean Gallier, Jean Gallier
- 1995
|
|
|
(TEL) ÷81-436-74-5511, (FAX) +81-436-74-2592. Yotaro Nakayama
– Seiki Akama
|
|
8
|
A Simple Fixed Point Characterization of Three-valued Stable Model Semantics
– S. Bonnier, U. Nilsson, T. Naslund
- 1990
|
|
|
Lecture Notes on Sequent Calculus 15-317: Constructive Logic
– Frank Pfenning
- 2009
|
|
3
|
Things that can and things that can't be done in PRA
– Ulrich Kohlenbach
- 1998
|
