کتاب‌های Leonid Libkin - BookPine

Formal Semantics of the Language Cypher

Formal Semantics of the Language Cypher

Nadime Francis

Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel

Foundations of Data Exchange

Foundations of Data Exchange

Marcelo Arenas

In Search of Elegance in the Theory and Practice of Computation: Essays dedicated to Peter Buneman

In Search of Elegance in the Theory and Practice of Computation: Essays dedicated to Peter Buneman

Val Tannen

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Leonid Libkin

Constraint Databases

Constraint Databases

Gabriel Kuper

Elements of Finite Model Theory

Elements of Finite Model Theory

Leonid Libkin

Constraint Databases

Constraint Databases

Gabriel Kuper

Relational and XML Data Exchange

Relational and XML Data Exchange

Marcelo Arenas

Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings (Lecture Notes in Computer Science

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings (Lecture Notes in Computer Science

Thomas Eiter

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings

Thomas Eiter

Elements of Finite Model Theory

Elements of Finite Model Theory

Leonid Libkin

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

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

Leonid Libkin

Constraint Databases

Constraint Databases

Gabriel Kuper

Semantics in Databases

Semantics in Databases

Bernhard Thalheim