Christopher L. Miller

Publication Activity (10 Years)

Years Active: 1994-2002
Publications (10 Years): 0

Publications

Christopher L. Miller, Patrick Speissegger
Pfaffian Differential Equations over Exponential O-Minimal Structures. J. Symb. Log. 67 (1) (2002)
Christopher L. Miller
Expansions of Dense Linear Orders with The Intermediate Value Property. J. Symb. Log. 66 (4) (2001)
Gerardo Lafferriere, Christopher L. Miller
Uniform Reachability Algorithms. HSCC (2000)
Christopher L. Miller
Geometric Categories, O-Minimal Structures and Control (Abstract). HSCC (1999)
Christopher L. Miller
Expansions of the Real Field with Power Functions. Ann. Pure Appl. Log. 68 (1) (1994)