Fixpoint Logics, Relational Machines, and Computational Complexity (1993)
by
Serge Abiteboul
,
Moshe Y. Vardi
,
Victor Vianu
| Venue: | In Structure and Complexity |
| Citations: | 33 - 5 self |
Document Versions
| Fixpoint Logics, Relational Machines, and Computational Complexity –Serge Abiteboul, Moshe Y. Vardi, Victor Vianu — 1993 — In Structure and Complexity |
| Fixpoint Logics, Relational Machines, and Computational Complexity –Serge Abiteboul, Moshe Y. Vardi, Victor Vianu — 1997 — In Structure and Complexity |
