Ebook: Elements of finite model theory
Author: Libkin Leonid
- Tags: Mathematical Logic and Formal Languages, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Database Management, Mathematical Logic and Foundations
- Series: Texts in theoretical computer science
- Year: 2004
- Publisher: Springer
- City: Berlin, New York, NY
- Edition: Softcover reprint of hardcover 1st ed. 2004
- Language: English
- djvu
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.
Download the book Elements of finite model theory for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)