dblp.uni-trier.dewww.uni-trier.de

A. J. Wilkie

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
4 Lou van den Dries, A. J. Wilkie: The laws of integer divisibility, and solution sets of linear divisibility conditions. J. Symb. Log. 68(2): 503-526 (2003)
1994
3 A. J. Wilkie: On Defining Cinfty. J. Symb. Log. 59(1): 344 (1994)
1988
2 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): 1235-1244 (1988)
1986
1 Peter Aczel, Jeff B. Paris, A. J. Wilkie, George M. Wilmers, C. E. M. Yates: European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. J. Symb. Log. 51(2): 480-502 (1986)

Coauthor Index

1Peter Aczel [1]
2Lou van den Dries [4]
3Jeff B. Paris [1] [2]
4George M. Wilmers [1]
5Alan R. Woods [2]
6C. E. M. Yates [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)