Timothy Bays

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 1

Top Topics

Image Processing

Top Venues

Notre Dame J. Formal Log.

Publications

Patricia A. Blanchette, Curtis Franks, Timothy Bays
Introduction. Notre Dame J. Formal Log. 62 (1) (2021)
Timothy Bays
Partitioning Subsets of Stable Models. J. Symb. Log. 66 (4) (2001)
Timothy Bays
On Tarski on Models. J. Symb. Log. 66 (4) (2001)
Timothy Bays
The Fruits of Logicism. Notre Dame J. Formal Log. 41 (4) (2000)
Timothy Bays
Some Two-Cardinal Results for O-Minimal Theories. J. Symb. Log. 63 (2) (1998)