Now showing items 1-1 of 1

    • Fixpoint Logics, Relational Machines, and Computational Complexity 

      Abiteboul, Serge; Vardi, Moshe Y.; Vianu, Victor (1996-10-11)
      We establish a general connection between fixpoint logic and complexity. On one side, we have fixpoint logic, parameterized by the choices of 1st-order operators (inflationary or noninflationary) and iteration constructs ...