Elements of Finite Model Theory
- 出版商: Springer
- 出版日期: 2004-07-02
- 售價: $4,180
- 貴賓價: 9.5 折 $3,971
- 語言: 英文
- 頁數: 318
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3540212027
- ISBN-13: 9783540212027
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.
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:
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