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

Timothy Bays

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

2001
4 Timothy Bays: On Tarski on Models. J. Symb. Log. 66(4): 1701-1726 (2001)
3 Timothy Bays: Partitioning Subsets of Stable Models. J. Symb. Log. 66(4): 1899-1908 (2001)
2000
2 Timothy Bays: The Fruits of Logicism. Notre Dame Journal of Formal Logic 41(4): 415-421 (2000)
1998
1 Timothy Bays: Some Two-Cardinal Results for O-Minimal Theories. J. Symb. Log. 63(2): 543-548 (1998)

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