On the Decision Problem for Two-Variable First-Order Logic (1997)

Cached

Download Links

by Erich Grädel , Phokion G. Kolaitis , Moshe Y. Vardi
Citations:48 - 1 self

Documents Related by Co-Citation

266 The Classical Decision Problem – E Börger, E Grädel, Y Gurevich - 1996
59 Two-Variable Logic with Counting is Decidable – Erich Grädel, Martin Otto, Eric Rosen - 1996
231 The Complexity of Concept Languages – F. M. Donini, M. Lenzerini, D. Nardi, W. Nutt - 1995
119 On the Restraining Power of Guards – Erich Grädel - 1998
27 Undecidability Results on Two-Variable Logics – Erich Grädel, Martin Otto, Eric Rosen - 1998
23 On the Decision Problem for Two-Variable First-Order Logic – G Kolaitis, M Y Vardi
123 Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles – Franz Baader, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminglogical, Stephan Busemann - 1990
210 Modal Languages And Bounded Fragments Of Predicate Logic – Hajnal Andréka, Johan Van Benthem, István Németi - 1996
305 The undecidability of the domino problem – R Berger - 1966
18 The Classical Decision Problem – E B örger, E Gr ädel, Y Gurevich - 1997
22 Complexity of two-variable logic with counting – L Pacholski, W Szwast, L Tendera - 1997
257 A Correspondence Theory for Terminological Logics: Preliminary Report – Klaus Schild - 1991
64 On Moschovakis Closure Ordinals – J Barwise - 1977
147 Regular Path Queries with Constraints – Serge Abiteboul, Victor Vianu - 1997
33 On languages with two variables, Zeitschrift f"ur Mathematische Logik und Grundlagen der – M Mortimer - 1975
67 Decidability of Class-Based Knowledge Representation Formalisms – Giuseppe De Giacomo - 1995
1526 V.: Foundations of Databases – S Abiteboul, R Hull, Vianu - 1995
83 Subsumption Algorithms for Concept Description Languages – Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß - 1990
83 Qualifying Number Restrictions in Concept Languages – F Baader, B Hollunder - 1991