Libkin, Leonid.
Libkin, Leonid, 1965-....
Leonid Libkin
Leonid Libkin American computer scientist
VIAF ID: 22804568 ( Personal )
Permalink: http://viaf.org/viaf/22804568
Preferred Forms
- 100 0 _ ‡a Leonid Libkin
- 100 0 _ ‡a Leonid Libkin ‡c American computer scientist
-
-
-
-
-
-
- 100 1 0 ‡a Libkin, Leonid
- 100 1 _ ‡a Libkin, Leonid ‡d 1965-
-
- 100 1 _ ‡a Libkin, Leonid, ‡d 1965-....
-
4xx's: Alternate Name Forms (4)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Constraint databases | |
Database Theory - ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings | |
Decomposition of domains | |
Elements of finite model theory | |
Foundations of data exchange | |
In Search of Elegance in the Theory and Practice of Computation : Essays dedicated to Peter Buneman | |
Logic, language, information, and computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings | |
On the expressive power of invariant logics over sparse classes of structures | |
Raisonnement sur mots et arbres avec données. | |
Reasoning on words and trees with data | |
Reasoning with separation logics : complexity, expressive power, proof systems | |
Semantics in databases / Bernhard Thalheim, Leonid Libkin (eds.). - Berlin, 1998. | |
Sur le pouvoir d'expression des logiques définies par invariance. |