Some formal stuff I’ve read. Mainly quite nice introductions to various areas of Finite Model Theory:
As well as the map is not the territory, the model is not the world:
- B.C Smith ” The Limits of Correctness” 1985
You not always have to ‘run’ things in computer science. Let’s get descriptive:
- Neil Immerman “Descriptive Complexity: A Logician’s Approach to Computation” 1995
Model Theory applied:
- IEEE 830 – 1998 (Software Requirements Specification)
OK, sometimes finiteness is not enough:
- Jan v.d. Bussche “Constraint Databases: A tutorial Introduction” 2000
Main application areas of Finite Model Theory:
- Leonid Libkin Introductory chapter of “Elements of Finite Model Theory” 2004
Finite Model Theory – best of Theorems (not only for db guys):
- Leonid Libkin “The Finite Model Theory toolbox of a Database theoretician” 2009
