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

Leonid Libkin

ISBN 10: 3540212027 / ISBN 13: 9783540212027

Editore: Springer July 2004, 2004

Riguardo questo articolo

Codice articolo 185569

Dati bibliografici

• Titolo: Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
• Editore: Springer July 2004
• Data di pubblicazione: 2004
• Lingua: Inglese
• ISBN 10: 3540212027
• ISBN 13: 9783540212027
• Rilegatura: Hardcover
• Condizione: Used - Very Good
• Condizione della sovraccoperta: Very Good
• Cataloghi dei venditori:
  • ONLINE

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

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