W. P. Hanf. Model-theoretic methods in the study of elementary logic. In J. W. Addison, L. Henkin, and A. Tarski, editors, The Theory of Models. NorthHolland, Amsterdam, 1965. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Logics with Aggregate Operators - Lauri Hella University (5 citations) (Correct)
Expressive Power of SQL - Libkin (2001) (2 citations) (Correct)
Local Normal Forms for First-Order Logic with.. - Schwentick, Barthelmann (1999) (4 citations) (Correct)
On winning strategies in Ehrenfeucht-Fraïssé games - Arora, Fagin (1997) (7 citations) (Correct)
The Closure of Monadic NP - Ajtai, Fagin, Stockmeyer (1997) (11 citations) (Correct)
Logics with Aggregate Operators - Hella, Libkin, Nurmonen, Wong (1999) (5 citations) (Correct)
Descriptive and Parameterized Complexity - Grohe (1999) (1 citation) (Correct)
Expressive Power of SQL - Libkin (2001) (2 citations) (Correct)
Logics with Aggregate Operators - Hella, Libkin, Nurmonen, Wong (5 citations) (Correct)
On the Forms of Locality over Finite Models - Libkin (1997) (8 citations) (Correct)
On Counting Logics and Local Properties - Libkin (1998) (2 citations) (Correct)
Logics with Counting, Auxiliary Relations, and Lower Bounds for.. - Libkin (Correct)
Vectorization Hierarchies of Some Graph Quantifiers - Hella, Nurmonen (Correct)
Counting Modulo Quantifiers on Finite Structures - Nurmonen (1996) (3 citations) (Correct)
Message-Passing Automata Are Expressively Equivalent to EMSO.. - Bollig, Leucker (2005) (Correct)
Local Properties of Query Languages - Guozhu Dong Dept (1997) (13 citations) (Correct)
Locally Consistent Transformations and Query Answering in - Data Exchange Marcelo (Correct)
On the Expressive Power of Logics on Finite Models - Kolaitis (2003) (Correct)
Locally Consistent Transformations and Query.. - Arenas.. (2004) (Correct)
Game-based Notions of Locality over Finite Models - Arenas, Barcelo, Libkin (Correct)
Locally Consistent Transformations and Query.. - Arenas.. (2004) (Correct)
Game-based Notions of Locality over Finite Models - Arenas, Barcelo, Libkin (Correct)
Logics Capturing Local Properties - Libkin (2000) (Correct)
Logics with Counting and Local Properties - Libkin (2000) (3 citations) (Correct)
Logics Capturing Local Properties - Libkin (2001) Self-citation (Hanf) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC