Ebbinghaus, Heinz-Dieter
Finite Model Theory
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)
- Ebbinghaus, Heinz-Dieter
- Flum, Jörg
- Publisher
- Springer
- Publication year
- 2006
- Language
- en
- Edition
- 1
- Category
- Natural Sciences
- Format
- Ebook
- eISBN (PDF)
- 9783540287889