076167623
2004-02-03
2022-02-04T11:01:27
Constraint databases / Gabriel Kuper, Leonid Libkin, Jan Paredaens, 2000
Internet, http://www.cs.toronto.edu/~libkin/, 2004-02-03 : Page personnelle
Internet, http://authorities.loc.gov, 2013-07-17 : né en 1965
http://id.loc.gov/authorities/names/n98014762, 2022-02-04 : Libkin, Leonid
https://homepages.inf.ed.ac.uk/libkin/, 2022-02-04 : Professeur, Laboratory for foundations of computer science (LFCS), University of Edinburgh
https://www.di.ens.fr/directory_team, 2022-02-04 : Professeur ENS, équipe Valeur à partir des données (VALDA), Département d'informatique (DI-ENS, UMR 8548), École normale supérieure, Paris
0000-0002-6698-2735
0000000124399632
male
Libkin, Leonid (1965-....)
Libkin
Leonid
Leonid Libkin
1965
Informaticien. - Professeur, Laboratory for foundations of computer science (LFCS), University of Edinburgh. - Professeur ENS, équipe Valeur à partir des données (VALDA), Département d'informatique (DI-ENS, UMR 8548), École normale supérieure, Paris (en 2022)
Database Theory - ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings / edited by Thomas Eiter, Leonid Libkin. / 1st ed. 2005. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2005
Database theory : ICDT 2005 : 10th international conference, Edinburgh, UK, january 5-7, 2005 : proceedings / Thomas Eiter, Leonid Libkin (eds.) / Berlin : Springer , cop. 2005
Reasoning on words and trees with data / Diego Figueira ; sous la direction de Stéphane P. Demri et de Luc Segoufin / , 2010
On the expressive power of invariant logics over sparse classes of structures / Julien Grange ; sous la direction de Luc Segoufin / , 2020
Reasoning with separation logics : complexity, expressive power, proof systems / Alessio Mansutti ; sous la direction de Stéphane P. Demri et de Etienne Lozes / , 2020
Reasoning with separation logics : complexity, expressive power, proof systems / Alessio Mansutti le 2020 [ université Paris-Saclay ]
On the expressive power of invariant logics over sparse classes of structures / Julien Grange le 2020 [ Université Paris sciences et lettres ]
Reasoning on words and trees with data / Diego Figueira le 2010 [ Cachan, Ecole normale supérieure ]
Finite model theory and its applications / Erich Grädel, Phokion G. Kolaitis, Leonid Libkin... [et al.] / Berlin : Springer
Foundations of data exchange / Marcelo Arenas,..., Pablo Barceló,..., Leonid Libkin,... [et al.] / New York : Cambridge University Press , 2014, cop. 2014
Elements of finite model theory : with 24 figures / Leonid Libkin / Berlin : Springer
Elements of finite model theory / Leonid Libkin / Berlin : Springer , cop. 2004
Semantics in Databases / edited by Bernhard Thalheim, Leonid Libkin. / Berlin [etc.] : Springer
Constraint databases / Gabriel Kuper, Leonid Libkin, Jan Paredaens (eds.) / Berlin : Springer
Semantics in databases / Bernhard Thalheim, Leonid Libkin (eds.) / Berlin : Springer