Elements of Finite Model Theory
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642059483, 9783662070031

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logics with Counting

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_8 ◽

2004 ◽

pp. 141-163

Author(s):

Leonid Libkin

Download Full-text

Embedded Finite Models

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_13 ◽

2004 ◽

pp. 249-273

Author(s):

Leonid Libkin

Keyword(s):

Download Full-text

Fixed Point Logics and Complexity Classes

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_10 ◽

2004 ◽

pp. 177-210 ◽

Author(s):

Leonid Libkin

Keyword(s):

Fixed Point ◽

Complexity Classes

Download Full-text

Introduction

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_1 ◽

2004 ◽

pp. 1-11 ◽

Author(s):

Leonid Libkin

Download Full-text

Monadic Second-Order Logic and Automata

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_7 ◽

2004 ◽

pp. 113-140

Author(s):

Leonid Libkin

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

Ehrenfeucht-Fraïssé Games

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_3 ◽

2004 ◽

pp. 23-43

Author(s):

Leonid Libkin

Download Full-text

Turing Machines and Finite Models

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_9 ◽

2004 ◽

pp. 165-176

Author(s):

Leonid Libkin

Keyword(s):

Turing Machines ◽

Download Full-text

Locality and Winning Games

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_4 ◽

2004 ◽

pp. 45-65

Author(s):

Leonid Libkin

Download Full-text

Ordered Structures

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_5 ◽

2004 ◽

pp. 67-85

Author(s):

Leonid Libkin

Keyword(s):

Ordered Structures

Download Full-text

Zero-One Laws

Elements of Finite Model Theory ◽

10.1007/978-3-662-07003-1_12 ◽

2004 ◽

pp. 235-248

Author(s):

Leonid Libkin

Download Full-text