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

Active Bibliography

3 Computing on Structures – Serge Abiteboul, Victor Vianu
14 How to Define a Linear Order on Finite Models – Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto - 1997
36 Feasible Computation through Model Theory – Anuj Dawar - 1993
2 On the Expressive Power of Logics on Finite Models – Phokion G. Kolaitis - 2003
20 Finite-Model Theory - A Personal Perspective – Ronald Fagin - 1993
2 Computational Model Theory: An Overview – Moshe Y. Vardi - 1998
1 Finite Models and Finitely Many Variables – Anuj Dawar, Abstract We Consider L - 1999
6 Databases and Finite-Model Theory – Victor Vianu - 1997
52 Computing With First-Order Logic – Serge Abiteboul, Victor Vianu - 1995
12 Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) – Gerd G. Hillebrand, Paris C. Kanellakis - 1994
279 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
7 Finite Variable Logics – Ian Hodkinson - 1993
42 Infinitary Logics and 0-1 Laws – Phokion G. Kolaitis, Moshe Y. Vardi - 1992
26 The Expressiveness of a Family of Finite Set Languages – Neil Immerman, Sushant Patnaik, David Stemple - 1991
18 Higher Order Logic – Daniel Leivant - 1994
Expressiveness and Complexity of Concurrent Constraint Programming: a Finite Model Theoretic Approach – Fran├žois Fages, Sylvain Soliman, Victor Vianu
2 Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs – Martin Grohe - 2009
4 More about Recursive Structures: Descriptive Complexity and Zero-One Laws – Tirza Hirst, David Harel - 1996
15 Foundations of rule-based query answering – Fran├žois Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei - 2007