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