Elements of Finite Model Theory / Edition 1

Elements of Finite Model Theory / Edition 1

by Leonid Libkin
     
 

View All Available Formats & Editions

ISBN-10: 3540212027

ISBN-13: 9783540212027

Pub. Date: 08/17/2004

Publisher: Springer Berlin Heidelberg

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.

Overview

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.

Product Details

ISBN-13:
9783540212027
Publisher:
Springer Berlin Heidelberg
Publication date:
08/17/2004
Series:
Texts in Theoretical Computer Science. An EATCS Series
Edition description:
2004
Pages:
318
Product dimensions:
0.81(w) x 6.14(h) x 9.21(d)

Table of Contents

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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >