Leonid Libkin (libkin-l)

Contributions à 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.