Leonid Libkin profile picture

Leonid Libkin

Is this your author profile? Create an account to customize it!

Stand Alone

Elements of Finite Model Theory
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
Finite Model Theory and Its Applications