TY  - BOOK
AU  - Gradel, Eric
TI  - Finite modeling theory and its applications : with 35 figures and 2 tables
SN  - 9788184895032
U1  - 511.34 GRA 
PY  - 2010///
CY  - New Delhi
PB  - Springer (India) PVT Ltd
KW  - Computational complexity
KW  - Constraint databases
KW  - Finite model theory
N1  - Includes bibliographical references and index
ER  -