TY  - BOOK
AU  - Grädel,Erich,[etal]
TI  - Finite model theory and its applications
T2  - Texts in theoretical computer science,
SN  - 9788184895032 (pbk)
U1  - 511.34 22
PY  - 2010///c
CY  - Delhi
PB  - Springer
KW  - Finite model theory
KW  - Computational complexity
KW  - Constraint databases
N1  - Includes bibliographical references and index
ER  -