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 | 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 | 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] |