ENGLISH

Elements of finite model theory

By Leonid , Libkin

Book information

Publisher
Springer
Year
2004
ISBN
3642059481, 978-3-642-05948-3, 978-3-662-07003-1
DOI
10.1007/978-3-662-07003-1
Language
english
Format
DJVU
Filesize
4 MB (4207003 bytes)
Series
Texts in theoretical computer science
Edition
Softcover reprint of hardcover 1st ed. 2004
Pages
315\320
Library
kolxoz
DPI
600
Time added
2016-05-22 07:20:00
Mathematical Logic and Formal Languages; Computati

Description

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.

Similar books