Gradel, Eric
Finite Model Theory and its Applications
by Erich Gradel
- Berlin Springer Verlag, Netherlands 2007
- xi, 437p.
Contents:
1. Unifying Themes
9788184895032
Constraint databases
Computational complexity
Finite model theory
511.3 GRA