Fixpoint Logics, Relational Machines, and Computational Complexity (1993)

Cached

Download Links

by Serge Abiteboul , Moshe Y. Vardi , Victor Vianu
Venue:In Structure and Complexity
Citations:37 - 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