Book contents
- Frontmatter
- Contents
- Preface
- 1 Automata-based presentations of infinite structures
- 2 Logical aspects of spatial databases
- 3 Some connections between finite and infinite model theory
- 4 Definability in classes of finite structures
- 5 Algorithmic meta-theorems
- 6 Model theoretic methods for fragments of FO and special classes of (finite) structures
- Bibliography
Contents
Published online by Cambridge University Press: 01 June 2011
- Frontmatter
- Contents
- Preface
- 1 Automata-based presentations of infinite structures
- 2 Logical aspects of spatial databases
- 3 Some connections between finite and infinite model theory
- 4 Definability in classes of finite structures
- 5 Algorithmic meta-theorems
- 6 Model theoretic methods for fragments of FO and special classes of (finite) structures
- Bibliography
Summary

- Type
- Chapter
- Information
- Finite and Algorithmic Model Theory , pp. v - viPublisher: Cambridge University PressPrint publication year: 2011