dblp.uni-trier.dewww.uni-trier.de

Frédéric Olive

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
6EEArnaud Durand, Frédéric Olive: First-Order Queries over One Unary Function. CSL 2006: 334-348
2004
5EEEtienne 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)