University of Warsaw
8 Ebooks by Leonid Libkin
Thomas Eiter & Leonid Libkin: Database Theory – ICDT 2005
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5-7, 2005, in Edinburgh, UK. ICDT …
PDF
English
DRM
€56.35
Ulrich Kohlenbach & Leonid Libkin: Logic, Language, Information, and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and …
PDF
English
DRM
€49.62
Wenfei Fan & Michael Fourman: In Search of Elegance in the Theory and Practice of Computation
This Festschrift volume, published in honour of Peter Buneman, contains contributions written by some of his colleagues, former students, and friends. In celebration of his distinguished career a …
PDF
English
DRM
€56.37
Gabriel Kuper & Leonid Libkin: Constraint Databases
This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as …
PDF
English
DRM
€161.99
Leonid Libkin: Elements of Finite Model Theory
Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, …
PDF
English
DRM
€98.62
Erich Gradel & Phokion G. Kolaitis: Finite Model Theory and Its Applications
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational …
PDF
English
DRM
€85.04
