
Search the dblp DataBase
Frédéric Olive:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Arnaud Durand, Frédéric Olive
FirstOrder Queries over One Unary Function. [Citation Graph (0, 0)][DBLP] CSL, 2006, pp:334348 [Conf]
 Etienne Grandjean, Frédéric Olive
Monadic Logical Definability of NPComplete Problems. [Citation Graph (0, 0)][DBLP] CSL, 1994, pp:190204 [Conf]
 Frédéric Olive
A Conjunctive Logical Characterization of Nondeterministic Linear Time. [Citation Graph (0, 0)][DBLP] CSL, 1997, pp:360372 [Conf]
 Etienne Grandjean, Frédéric Olive
Monadic Logical Definability of Nondeterministic Linear Time. [Citation Graph (0, 0)][DBLP] Computational Complexity, 1998, v:7, n:1, pp:5497 [Journal]
 Etienne Grandjean, Frédéric Olive
Graph properties checkable in linear time in the number of vertices. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 2004, v:68, n:3, pp:546597 [Journal]
 Malika More, Frédéric Olive
Rudimentary Languages and Second Order Logic. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 1997, v:43, n:, pp:419426 [Journal]
Search in 0.002secs, Finished in 0.002secs
