Sciweavers

148 search results - page 5 / 30
» apal 2007
Sort
View
95
Voted
APAL
2002
65views more  APAL 2002»
15 years 4 months ago
Automata techniques for query inference machines
William I. Gasarch, Geoffrey R. Hird
101
Voted
APAL
2000
75views more  APAL 2000»
15 years 4 months ago
The wholeness axiom and Laver sequences
Paul Corazza
99
Voted
APAL
2000
50views more  APAL 2000»
15 years 4 months ago
The unfolding of non-finitist arithmetic
Solomon Feferman, Thomas Strahm
83
Voted
APAL
2000
63views more  APAL 2000»
15 years 4 months ago
Axioms and (counter) examples in synthetic domain theory
Jaap van Oosten, Alex K. Simpson