Finite modeling theory and its applications : with 35 figures and 2 tables
Gradel, Eric
Finite modeling theory and its applications : with 35 figures and 2 tables
Eric Gradel... [et al.]
- 1st Indian rep
- New Delhi Springer (India) PVT Ltd 2010
- xi, 437 p. : ill. ; 24 cm
Includes bibliographical references and index
9788184895032
Computational complexity Constraint databases Finite model theory