| |
| * | 2006 | |
|---|---|---|
| 6 | EE | Arnaud Durand, Frédéric Olive: First-Order Queries over One Unary Function. CSL 2006: 334-348 |
| 2004 | ||
| 5 | EE | Etienne Grandjean, Frédéric Olive: Graph properties checkable in linear time in the number of vertices. J. Comput. Syst. Sci. 68(3): 546-597 (2004) |
| 1998 | ||
| 4 | Etienne Grandjean, Frédéric Olive: Monadic Logical Definability of Nondeterministic Linear Time. Computational Complexity 7(1): 54-97 (1998) | |
| 1997 | ||
| 3 | EE | Frédéric Olive: A Conjunctive Logical Characterization of Nondeterministic Linear Time. CSL 1997: 360-372 |
| 2 | Malika More, Frédéric Olive: Rudimentary Languages and Second Order Logic. Math. Log. Q. 43: 419-426 (1997) | |
| 1994 | ||
| 1 | EE | Etienne Grandjean, Frédéric Olive: Monadic Logical Definability of NP-Complete Problems. CSL 1994: 190-204 |
| 1 | Arnaud Durand | [6] |
| 2 | Etienne Grandjean | [1] [4] [5] |
| 3 | Malika More | [2] |