Fixpoint Logics, Relational Machines, and Computational Complexity

Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. Fixpoint Logics, Relational Machines, and Computational Complexity. In Structure in Complexity Theory Conference. pages 156-168, 1992.

Abstract

Abstract is missing.