Informatics University of Edinburgh LSV / Informatics University of Edinburgh School / /
IndustryTerm
logical tools / /
Movie
D. 4 / We shall see / /
Organization
In Section / Gheerbrant Leonid Libkin Cristina Sirangelo School / Informatics University of Edinburgh School / Informatics University of Edinburgh LSV / /
Person
Leonid Libkin / Cristina Sirangelo / Leonid Libkin Cristina / /