Computing With First-Order Logic (1995)

Cached

Download Links

by Serge Abiteboul , Victor Vianu
Citations:53 - 13 self

Active Bibliography

6 Databases and Finite-Model Theory – Victor Vianu - 1997
3 Computing on Structures – Serge Abiteboul, Victor Vianu
281 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
2 On the Expressive Power of Logics on Finite Models – Phokion G. Kolaitis - 2003
4 Rule-Based Languages – Victor Vianu - 1997
23 Constraint Databases: A Survey – Peter Z. Revesz - 1998
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
36 Fixpoint Logics, Relational Machines, and Computational Complexity – Serge Abiteboul, Moshe Y. Vardi, Victor Vianu - 1993
14 How to Define a Linear Order on Finite Models – Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto - 1997
11 Queries Are Easier Than You Thought (probably) – Serge Abiteboul, Kevin Compton, Victor Vianu - 1992
4 Functional Programming Formalisms for OODB Methods – Gerd Hillebrand , Paris Kanellakis, Sridhar Ramaswamy - 1993
8 Finite Model Theory In The Simply Typed Lambda Calculus – Gerd G. Hillebrand - 1994
24 Semantics and Expressive Power of Non-Deterministic Constructs in Deductive Databases – Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo - 1996
9 Computing with Infinitary Logic – Serge Abiteboul, Moshe Y. Vardi, Victor Vianu - 1995
12 Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) – Gerd G. Hillebrand, Paris C. Kanellakis - 1994
36 Feasible Computation through Model Theory – Anuj Dawar - 1993
6 A Logical Semantics For Hypothetical Rulebases With Deletion – Anthony J. Bonner - 1997
16 Bisimulation-Invariant Ptime and Higher-Dimensional µ-Calculus – Martin Otto - 1998
1 Finite Models and Finitely Many Variables – Anuj Dawar, Abstract We Consider L - 1999