Sciweavers

148 search results - page 5 / 30
» apal 2007
Sort
View
59
Voted
APAL
2002
65views more  APAL 2002»
14 years 9 months ago
Automata techniques for query inference machines
William I. Gasarch, Geoffrey R. Hird
APAL
2000
50views more  APAL 2000»
14 years 9 months ago
The unfolding of non-finitist arithmetic
Solomon Feferman, Thomas Strahm
49
Voted
APAL
2000
63views more  APAL 2000»
14 years 9 months ago
Axioms and (counter) examples in synthetic domain theory
Jaap van Oosten, Alex K. Simpson