Leonid Libkin
Springer Berlin Heidelberg
2004e druk, 2004
9783540212027
Elements of Finite Model Theory
Specificaties
Gebonden, 318 blz.
|
Engels
Springer Berlin Heidelberg |
2004e druk, 2004
ISBN13: 9783540212027
Rubricering
Onderdeel van serie
Texts in Theoretical Computer Science. An EATCS Series
Verwachte levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783540212027
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:318
Uitgever:Springer Berlin Heidelberg
Druk:2004
Inhoudsopgave
1 Introduction.- 2 Preliminaries.- 3 Ehrenfeucht-Fraïssé Games.- 4 Locality and Winning Games.- 5 Ordered Structures.- 6 Complexity of First-Order Logic.- 7 Monadic Second-Order Logic and Automata.- 8 Logics with Counting.- 9 Turing Machines and Finite Models.- 10 Fixed Point Logics and Complexity Classes.- 11 Finite Variable Logics.- 12 Zero-One Laws.- 13 Embedded Finite Models.- 14 Other Applications of Finite Model Theory.- References.- List of Notation.- Name Index.