Search the dblp DataBase
Frédéric Olive: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Arnaud Durand, Frédéric Olive
First-Order Queries over One Unary Function. [Citation Graph (0, 0)][DBLP]
CSL, 2006, pp:334-348 [Conf] - Etienne Grandjean, Frédéric Olive
Monadic Logical Definability of NP-Complete Problems. [Citation Graph (0, 0)][DBLP]
CSL, 1994, pp:190-204 [Conf] - Frédéric Olive
A Conjunctive Logical Characterization of Nondeterministic Linear Time. [Citation Graph (0, 0)][DBLP]
CSL, 1997, pp:360-372 [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:54-97 [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:546-597 [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:419-426 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002