Elements of Finite Model Theory

Libkin, Leonid

  • 出版商: 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:

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