Login

Ebbinghaus, Heinz-Dieter

Finite Model Theory

Ebbinghaus, Heinz-Dieter - Finite Model Theory, ebook

80,60€

Ebook, PDF with Adobe DRM
ISBN: 9783540287889
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Preliminaries

2. The Ehrenfeucht-Fraïssé Method

3. More on Games

4. 0-1 Laws

5. Satisfiability in the Finite

6. Finite Automata and Logic: A Microcosm of Finite Model Theory

7. Descriptive Complexity Theory

8. Logics with Fixed-Point Operators

9. Logic Programs

10. Optimization Problems

11. Logics for PTIME

12. Quantifiers and Logical Reductions

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: MATHEMATICS / General MAT000000

Author(s)
 
Publisher
Springer
Publication year
2006
Language
en
Edition
1
Category
Natural Sciences
Format
Ebook
eISBN (PDF)
9783540287889

Similar titles