Gradel, Eric
Finite Model Theory and its Applications by Erich Gradel - Berlin Springer Verlag, Netherlands 2007 - xi, 437p.
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