Relational and XML data exchange

By Marcelo Arenas

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...

Relational and XML Data Exchange

By Marcelo Arenas, Pablo Barcelo, Filip Murlak, Leonid Libkin

Finite Model Theory and Its Applications Texts in Theoretical Computer Science. An EATCS Series

By Maarten Marx, Phokion G. Kolaitis, Yde Venema, Moshe Y. Vardi, Erich Gradel, Scott Weinstein, Joel H. Spencer, Leonid Libkin

Database Theory ICDT 2005

By Thomas Eiter, Leonid Libkin

Logic language information and computation

By Workshop On Logic Language Information And Computation 20th 2013 Darmstadt Germany

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 Commun...

Logic, language, information, and computation

By Workshop On Logic Language Information And Computation 20th 2013 Darmstadt Germany

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 Commun...

Logic Language Information and Computation

By Ulrich Kohlenbach, Ruy De Queiroz, Leonid Libkin

In Search Of Elegance In The Theory And Practice Of Computation Essays Dedicated To Peter Buneman

By

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 c...

In Search of Elegance in the Theory and Practice of Computation

By Wang Chiew Tan, Wenfei Fan, Limsoon Wong, Val Tannen, Leonid Libkin

In Search of Elegance in the Theory and Practice of Computation

By Limsoon Wong, Val Tannen, Leonid Libkin