Alan R. Woods

Publication Activity (10 Years)

Years Active: 1988-2012
Publications (10 Years): 0

Top Topics

Artificial Systems

Computer Vision

Top Venues

Publications

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