Leonid Libkin – författare
Visar alla böcker från författaren Leonid Libkin. Handla med fri frakt och snabb leverans.
21 produkter
Foundations of Data Exchange
Av Filip Murlak, Leonid Libkin m. fl.
E-bok, 2014
460 kr
Lägg i varukorg
The problem of exchanging data between different databases with different schemas is an area of immense importance. Consequently data exchange has been one of the most active research topics in databases over the past decade. Foundational questions related to data exchange largely revolve around …
Foundations of Data Exchange
Av Filip Murlak, Leonid Libkin m. fl.
E-bok, 2014
470 kr
Lägg i varukorg
The problem of exchanging data between different databases with different schemas is an area of immense importance. Consequently data exchange has been one of the most active research topics in databases over the past decade. Foundational questions related to data exchange largely revolve around …
Relational and XML Data Exchange
Av Marcelo Arenas, Pablo Barcelo m. fl.
Häftad, 2010
288 kr
Lägg i varukorg
Data exchange is the problem of finding an instance of a target schema, given an instance of a source schema and a specification of the relationship between the source and the target. Such a target instance should correctly represent information from the source instance under the constraints …
Relational and XML Data Exchange
Av Filip Murlak, Leonid Libkin m. fl.
E-bok, 2022
386 kr
Lägg i varukorg
Data exchange is the problem of finding an instance of a target schema, given an instance of a source schema and a specification of the relationship between the source and the target. Such a target instance should correctly represent information from the source instance under the constraints …
Finite Model Theory and Its Applications
Av Erich Grädel, Phokion G. Kolaitis m. fl.
Inbunden, 2007
1014 kr
Lägg i varukorg
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 complexity and database theory. One of the fundamental insights of mathematical logic is that our …
Elements of Finite Model Theory
Inbunden, 2004
1089 kr
Lägg i varukorg
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, computational complexity, and formal languages, although in recent years connections with other areas, …
Database Theory - ICDT 2005
10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings
Av Thomas Eiter, Leonid Libkin
Häftad, 2004
564 kr
Lägg i varukorg
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 (http://alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international conferences, providing a biennial scienti?c forum …
Database Theory - ICDT 2005
10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings
Av Leonid Libkin, Thomas Eiter
E-bok, 2005
755 kr
Lägg i varukorg
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 (http://alpha.luc.ac.be/~lucp1080/icdt/) has now a long tra- tion of international conferences, providing a biennial scienti?c forum …
Semantics in Databases
Av Bernhard Thalheim, Leonid Libkin
Häftad, 1998
566 kr
Lägg i varukorg
This book presents a coherent suvey on exciting developments in database semantics. The origins of the volume date back to a workshop held in Prague, Czech Republic, in 1995. The nine revised full papers and surveys presented were carefully reviewed for inclusion in the book. They address more …
Constraint Databases
Av Gabriel Kuper, Leonid Libkin m. fl.
Inbunden, 2000
1685 kr
Lägg i varukorg
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 linear or polynomial equations, are used to represent large, or even infinite, sets in a compact …
Finite Model Theory and Its Applications
Av Scott Weinstein, Yde Venema m. fl.
E-bok, 2007
1141 kr
Lägg i varukorg
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 complexity and database theory. One of the fundamental insights of mathematical logic is that our …
Elements of Finite Model Theory
Häftad, 2010
1089 kr
Lägg i varukorg
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, computational complexity, and formal languages, although in recent years connections with other areas, …
Constraint Databases
Av Gabriel Kuper, Leonid Libkin m. fl.
Häftad, 2010
1679 kr
Lägg i varukorg
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 linear or polynomial equations, are used to represent large, or even infinite, sets in a compact …
Logic, Language, Information, and Computation
20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Av Leonid Libkin, Ulrich Kohlenbach m. fl.
Häftad, 2013
520 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented …
Logic, Language, Information, and Computation
20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Av Ruy de Queiroz, Ulrich Kohlenbach m. fl.
E-bok, 2013
672 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented …
In Search of Elegance in the Theory and Practice of Computation
Essays dedicated to Peter Buneman
Av Val Tannen, Limsoon Wong m. fl.
Häftad, 2013
566 kr
Lägg i varukorg
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 colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong …
In Search of Elegance in the Theory and Practice of Computation
Essays dedicated to Peter Buneman
Av Michael Fourman, Wang-Chiew Tan m. fl.
E-bok, 2013
734 kr
Lägg i varukorg
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 colloquium was held in Edinburgh, Scotland, 27-29 October, 2013. The articles presented herein belong …
Finite Model Theory and Its Applications
Av Erich Grädel, Phokion G. Kolaitis m. fl.
Häftad, 2014
846 kr
Lägg i varukorg
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 complexity and database theory. One of the fundamental insights of mathematical logic is that our …
Constraint Databases
Av Jan Paredaens, Leonid Libkin m. fl.
E-bok, 2013
2174 kr
Lägg i varukorg
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 linear or polynomial equations, are used to represent large, or even infinite, sets in a compact …
Elements of Finite Model Theory
E-bok, 2013
1434 kr
Lägg i varukorg
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, computational complexity, and formal languages, although in recent years connections with other areas, …
Foundations of Data Exchange
Av Marcelo Arenas, Pablo Barceló m. fl.
Inbunden, 2014
389 kr
Tillfälligt slut
The problem of exchanging data between different databases with different schemas is an area of immense importance. Consequently data exchange has been one of the most active research topics in databases over the past decade. Foundational questions related to data exchange largely revolve around …
