Descriptive Complexity Theory over the Real Numbers (1996)

by Erich Grädel , Klaus Meer
Venue:LECTURES IN APPLIED MATHEMATICS
Citations:25 - 8 self

Active Bibliography

9 Tailoring Recursion for Complexity – Erich Grädel, Yuri Gurevich - 1995
3 Computing on Structures – Serge Abiteboul, Victor Vianu
Tailoring recursion for complexity \Lambda – Lehrgebiet Math, Grundlagen Informatik - 1994
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
2359 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
726 Proof verification and hardness of approximation problems – Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy - 1992
37 Fixpoint Logics, Relational Machines, and Computational Complexity – Serge Abiteboul, Moshe Y. Vardi, Victor Vianu - 1993