On the Expressive Power of Logics on Finite Models (2003)

Cached

Download Links

by Phokion G. Kolaitis
Citations:2 - 0 self

Active Bibliography

36 Feasible Computation through Model Theory – Anuj Dawar - 1993
14 How to Define a Linear Order on Finite Models – Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto - 1997
20 Finite-Model Theory - A Personal Perspective – Ronald Fagin - 1993
14 On winning strategies in Ehrenfeucht-Fraïssé games – Sanjeev Arora, Ronald Fagin - 1997
2 On Non-Determinism in Machines and Languages – Stéphane Grumbach, Zoé Lacroix
4 More about Recursive Structures: Descriptive Complexity and Zero-One Laws – Tirza Hirst, David Harel - 1996
1 Finite Models and Finitely Many Variables – Anuj Dawar, Abstract We Consider L - 1999
3 Computing on Structures – Serge Abiteboul, Victor Vianu
22 Relational Queries over Interpreted Structures – Michael Benedikt, Leonid Libkin
55 Finitely Representable Databases – Stéphane Grumbach, Jianwen Su - 1995
23 Constraint Databases: A Survey – Peter Z. Revesz - 1998
208 Disjunctive Datalog – Thomas Eiter, Georg Gottlob, Heikki Mannila - 1997
2 Computational Model Theory: An Overview – Moshe Y. Vardi - 1998
57 Describing Graphs: a First-Order Approach to Graph Canonization – Neil Immerman , Eric Lander - 1990
14 Towards a Theory of Recursive Structures – David Harel - 1998
1 Computational Aspects of First-Order Logic on Finite Structures – Albert Atserias, Albert Atserias - 1999
8 Finite Model Theory In The Simply Typed Lambda Calculus – Gerd G. Hillebrand - 1994
5 Descriptive and Parameterized Complexity – Martin Grohe - 1999
Algorithmic Model Theory SS 2010 – Erich Grädel - 2010