Alan R. Woods

15 papers A* 3C 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2012 C conf
Some Natural Zero One Laws for Ordinals Below ε 0.
CiE
Andreas Weiermann, Alan R. Woods
2009 J jnl
On bounded arithmetic augmented by the ability to count certain sets of primes.
J. Symb. Log.
Charalampos Cornaros, Alan R. Woods
2004 J jnl
Subset sum "cubes" and the complexity of primality testing.
Theor. Comput. Sci.
Alan R. Woods
2002 J jnl
A New Proof of the Weak Pigeonhole Principle.
J. Comput. Syst. Sci.
Alexis Maciel, Toniann Pitassi, Alan R. Woods
2000 A* conf
A new proof of the weak pigeonhole principle.
STOC
Alexis Maciel, Toniann Pitassi, Alan R. Woods
1998 J jnl
The number of Boolean functions computed by formulas of a given size.
Random Struct. Algorithms
Petr Savický, Alan R. Woods
1998 A* conf
Unsatisfiable Systems of Equations, Over a Finite Field.
FOCS
Alan R. Woods
1997 J jnl
Coloring rules for finite trees, and probabilities of monadic second order sentences.
Random Struct. Algorithms
Alan R. Woods
1997 J jnl
Counting Finite Models.
J. Symb. Log.
Alan R. Woods
1995 J jnl
An Exponenetioal Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole Principle.
Random Struct. Algorithms
Jan Krajícek, Pavel Pudlák, Alan R. Woods
1995 — conf
Approximating the structures accepted by a constant depth circuit or satisfying a sentence-a nonstandard approach.
Logic and Random Structures
Alan R. Woods
1994 J jnl
An Exponential Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole Principle
Electron. Colloquium Comput. Complex.
Jan Krajícek, Pavel Pudlák, Alan R. Woods
1993 J jnl
Decidability and Undecidability of Theories with a Predicate for the Primes.
J. Symb. Log.
P. T. Bateman, Carl G. Jockusch Jr., Alan R. Woods
1992 A* conf
Exponential Lower Bounds for the Pigeonhole Principle
STOC
Paul Beame, Russell Impagliazzo, Jan Krajícek, Toniann Pitassi, Pavel Pudlák, Alan R. Woods
1988 J jnl
Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes.
J. Symb. Log.
Jeff B. Paris, A. J. Wilkie, Alan R. Woods