leonid libkin
Finite Model Theory and Its Applications
EbookSofort lieferbarThis book gives a broad overview of core topics of finite model theory: expressive power, descrip...
Database Theory - ICDT 2005
EbookSofort lieferbarThis volume collects the papers presented at the 10th International Conference on Database Theory...
Logic, Language, Information, and Computation
EbookSofort lieferbarEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
In Search of Elegance in the Theory and Practice of Computation
EbookSofort lieferbarThis Festschrift volume, published in honour of Peter Buneman, contains contributions written by ...
Constraint Databases
EbookSofort lieferbarThis is the first comprehensive survey of the field of constraint databases, written by leading r...
Elements of Finite Model Theory
EbookSofort lieferbarThis book is an introduction to finite model theory which stresses the computer science origins o...
Relational and XML Data Exchange
EbookSofort lieferbarData exchange is the problem of finding an instance of a target schema, given an instance of a so...
Elements of Finite Model Theory
BuchBezug 11-15Finite model theory is an area of mathematical logic that grew out of computer science applicatio...
Elements of Finite Model Theory
TaschenbuchBezug 11-15Finite model theory is an area of mathematical logic that grew out of computer science applicatio...
Finite Model Theory and Its Applications
BuchBezug 11-15Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...
Logic, Language, Information, and Computation
TaschenbuchBezug 11-15Edited in collaboration with FoLLI, the Association of Logic, Language and Information this bo...
Constraint Databases
TaschenbuchBezug 11-15This book is the first comprehensive survey of the field of constraint databases. Constraint data...
- 1
- 2