Frédéric Olive

	2008
7		Guillaume Bagan, Arnaud Durand, Etienne Grandjean, Frédéric Olive: Computing the jth solution of a first-order query. ITA 42(1): 147-164 (2008)
	2006
6		Arnaud Durand, Frédéric Olive: First-Order Queries over One Unary Function. CSL 2006: 334-348
	2004
5		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

Coauthor Index

1	Guillaume Bagan	[7]
2	Arnaud Durand	[6] [7]
3	Etienne Grandjean	[1] [4] [5] [7]
4	Malika More	[2]