Leonid Libkin (libkin-l)

Contributions to Philosophie.ch

Bibliography

Grädel, Erich, Kolaitis, Phokion G., Libkin, Leonid, Marx, Maarten, Spencer, Joel, Vardi, Moshe Y., Venema, Yde and Weinstein, Scott. 2007. Finite Model Theory and Its Applications. Cham: Springer.
Kuper, Gabriel, Libkin, Leonid and Paredaens, Jan, eds. 2000. Constraint Databases. Berlin: Springer.