Leonid Libkin

Elements of Finite Model Theory

2014

In Search of Elegance in the Theory and Practice of Computation

2013

Finite Model Theory and Its Applications

2014

Semantics in databases

1998

Foundations of Data Exchange

2014

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

2007

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

2004

Database theory

2005

Database Theory - ICDT 2005

2005

Constraint databases

2000