Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Leonid Libkin

ISBN 10: 3540212027 / ISBN 13: 9783540212027

Verlag: Springer July 2004, 2004

Beschreibung

Bestandsnummer des Verkäufers 185569

Bibliografische Details

• Titel: Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
• Verlag: Springer July 2004
• Erscheinungsjahr: 2004
• Sprache: Englisch
• ISBN-10: 3540212027
• ISBN-13: 9783540212027
• Einband: Hardcover
• Zustand: Used - Very Good
• Zustand des Schutzumschlags: Very Good
• Verkäuferkataloge:
  • ONLINE

Über diesen Titel

Inhaltsangabe

Emphasizes the computer science aspects of the subject.

Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.

Über die Autorin bzw. den Autor

The author has been with the department of computer science at the University of Toronto since 2000. Prior to that, he was a researcher at Bell Laboratories, and he spent two years visiting INRIA in France. His research interests are in the areas of database theory and applications of logic in computer science.

He is coauthor/editor of:

Constraint Databases
Kuper, G., Libkin, L., Paredaens, J. (Eds.), 12.04.2000, ISBN 3-540-66151-4

Finite-Model Theory and Its Applications
Grädel, E., Kolaitis, P.G. (et al.), 07.2004, ISBN 3-540-00428-9

Semantics in Databases
Thalheim, B., Libkin, L. (Eds.), Vol. 1358, 25.02.1998, ISBN 3-540-64199-8