Concepedia

Alan R. Woods

AR

Statistics

Publications

13

Citations

677

H-Index

12

Active since

1981

Affiliations

The University of Western Australia(Current)

Czech Academy of Sciences, Institute of Mathematics

Institute of Mathematics and Informatics

Yale University

University of Arizona

Alan R. Woods is an author at The University of Western Australia specializing in mathematics, computer science, and theory of computation.

Publications per year

1981–2005

13

Publications

13

Provability of the pigeonhole principle and the existence of infinitely many primes

J. B. Paris, A. J. Wilkie, Alan R. Woods · Journal of Symbolic Logic · 1988 · 116 citations

, , +5

Some problems in logic and number theory and their connections

Alan R. Woods · Medical Entomology and Zoology · 1981 · 110 citations

, , +12

Exponential lower bounds for the pigeonhole principle

Paul Beame, Russell Impagliazzo, Jan Krajı́ček et al. · 1992 · 93 citations · Full text

, , +9

Provability of the pigeonhole principle and the existence of infinitely many primes

J. B. Paris, A. J. Wilkie, Alan R. Woods · Journal of Symbolic Logic · 1988 · 86 citations

, , +5

A New Proof of the Weak Pigeonhole Principle

Alexis Maciel, Toniann Pitassi, Alan R. Woods · Journal of Computer and System Sciences · 2002 · 65 citations

, , +6

1–5 of 13