Descriptive Complexity Theory over the Real Numbers (1996)

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

Documents Related by Co-Citation

64 Metafinite model theory – Yuri Gurevich - 1998
382 On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines – L Blum, M Shub, S Smale - 1989
503 Finite Model Theory – H-D Ebbinghaus, J Flum - 1995
2350 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
351 Complexity and Real Computations – V Y Pan Blum, L Cucker, F Shub, M Smale, S - 1997
338 Constraint Query Languages – Paris C. Kanellakis , Gabriel M. Kuper, Peter Z. Revesz - 1992
9 Logics Which Capture Complexity Classes Over the Reals – Felipe Cucker, Klaus Meer
530 The complexity of relational query languages – M Y Vardi - 1982
5 0-1 laws for recursive structures – Erich Grädel, Anders Malmström - 1997
14 Towards a Theory of Recursive Structures – David Harel - 1998
1526 V.: Foundations of Databases – S Abiteboul, R Hull, Vianu - 1995
153 Logic and the Challenge of Computer Science – Yuri Gurevich - 1988
135 An Optimal Lower Bound on the Number of Variables for Graph Identification – Jin-yi Cai, Neil Immerman, Martin Fürer - 1992
26 A survey on real structural complexity theory – C. Michaux - 1997
27 Descriptive Complexity. Graduate Texts – N Immerman - 1998
55 Finitely Representable Databases – Stéphane Grumbach, Jianwen Su - 1995
13 On digital nondeterminism – F Cucker, M Matamala - 1996
68 Completeness and reduction in algebraic complexity theory, volume 7 – P Bürgisser - 2000
78 Algebraic Complexity Theory, volume 315 of Grundlehren der mathematischen Wissenschaften – P Bürgisser, M Clausen, M A Shokrollahi - 1997