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:38 - 5 self