Elements of finite model theory
著者
書誌事項
Elements of finite model theory
（Texts in theoretical computer science, An EATCS series）
Springer, c2004
- : pbk
大学図書館所蔵 件 / 全16件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and indexes
"Originally published by Springer-Verlag Berlin Heidelberg New York in 2004. Softcover reprint of the hardcover 1st edition 2004" -- T.p verso of pbk (no description of c2010)
内容説明・目次
内容説明
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.
目次
1 Introduction.- 2 Preliminaries.- 3 Ehrenfeucht-Fraisse 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.
「Nielsen BookData」 より