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