Elements Of Finite Model Theory

Libkin, Leonid

ISBN 10: 3540212027 / ISBN 13: 9783540212027

Editore: Springer, 2004

Riguardo questo articolo

Codice articolo 3184884-n

Dati bibliografici

• Titolo: Elements Of Finite Model Theory
• Editore: Springer
• Data di pubblicazione: 2004
• Lingua: Inglese
• ISBN 10: 3540212027
• ISBN 13: 9783540212027
• Rilegatura: Rilegato
• Condizione: New

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