AboutSign inJoin

Leonid Libkin

About

Leonid Libkin is a computer scientist who works in data management, in particular in database theory, and in logic in computer science.

Books

Foundations of Data Exchange
Foundations of Data Exchange
Leonid Libkin, Filip Murlak, Marcelo Arenas, Pablo Barceló
Relational and XML Data Exchange
Relational and XML Data Exchange
Leonid Libkin, Filip Murlak, Marcelo Arenas, Pablo Barcelo
Finite Model Theory and Its Applications
Finite Model Theory and Its Applications
Leonid Libkin, Erich Grädel, Scott Weinstein, Moshe Y. Vardi, Joel Spencer, Phokion G. Kolaitis, Maarten Marx, Yde Venema
Elements of Finite Model Theory
Elements of Finite Model Theory
Leonid Libkin
Finite Model Theory and Its Applications
Finite Model Theory and Its Applications
Leonid Libkin, Erich Grädel, Scott Weinstein, Moshe Y. Vardi, Joel Spencer, Phokion G. Kolaitis, Maarten Marx, Yde Venema
In Search of Elegance in the Theory and Practice of Computation
In Search of Elegance in the Theory and Practice of Computation
Leonid Libkin, Wenfei Fan, Limsoon Wong, Val Tannen, Wang-Chiew Tan, Michael Fourman
Elements of Finite Model Theory
Elements of Finite Model Theory
Leonid Libkin
Constraint Databases
Constraint Databases
Gabriel Kuper, Leonid Libkin

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian