Finite Model Theory and Its Applications - Texts in Theoretical Computer Science an EATCS Series
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540004288

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logic and Random Structures

Finite Model Theory and Its Applications - Texts in Theoretical Computer Science an EATCS Series ◽

10.1007/3-540-68804-8_4 ◽

2007 ◽

pp. 231-256

Author(s):

Joel Spencer

Keyword(s):

Random Structures

Download Full-text

On the Expressive Power of Logics on Finite Models

Finite Model Theory and Its Applications - Texts in Theoretical Computer Science an EATCS Series ◽

10.1007/3-540-68804-8_2 ◽

2007 ◽

pp. 27-123 ◽

Author(s):

Phokion G. Kolaitis

Keyword(s):

Expressive Power ◽

Download Full-text

A Logical Approach to Constraint Satisfaction

Finite Model Theory and Its Applications - Texts in Theoretical Computer Science an EATCS Series ◽

10.1007/3-540-68804-8_6 ◽

2007 ◽

pp. 339-370 ◽

Author(s):

Phokion G. Kolaitis ◽

Moshe Y. Vardi

Keyword(s):

Constraint Satisfaction ◽

Logical Approach

Download Full-text

Finite Model Theory and Descriptive Complexity

Finite Model Theory and Its Applications - Texts in Theoretical Computer Science an EATCS Series ◽

10.1007/3-540-68804-8_3 ◽

2007 ◽

pp. 125-230 ◽

Author(s):

Erich Grädel

Keyword(s):

Model Theory ◽

Finite Model ◽

Descriptive Complexity ◽

Finite Model Theory

Download Full-text

Unifying Themes in Finite Model Theory

Finite Model Theory and Its Applications - Texts in Theoretical Computer Science an EATCS Series ◽

10.1007/3-540-68804-8_1 ◽

2007 ◽

pp. 1-25

Author(s):

Scott Weinstein

Keyword(s):

Model Theory ◽

Finite Model ◽

Finite Model Theory

Download Full-text

Local Variations on a Loose Theme: Modal Logic and Decidability

Finite Model Theory and Its Applications - Texts in Theoretical Computer Science an EATCS Series ◽

10.1007/3-540-68804-8_7 ◽

2007 ◽

pp. 371-429 ◽

Author(s):

Maarten Marx ◽

Yde Venema

Keyword(s):

Download Full-text

Embedded Finite Models and Constraint Databases

Finite Model Theory and Its Applications - Texts in Theoretical Computer Science an EATCS Series ◽

10.1007/3-540-68804-8_5 ◽

2007 ◽

pp. 257-337 ◽

Author(s):

Leonid Libkin

Keyword(s):

Constraint Databases ◽

Download Full-text