Cover Image

Finite Model Theory and Its Applications

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final ch...

Full description

Main Authors: Grädel, Erich. (Author, http://id.loc.gov/vocabulary/relators/aut), Kolaitis, Phokion G. (http://id.loc.gov/vocabulary/relators/aut), Libkin, Leonid. (http://id.loc.gov/vocabulary/relators/aut), Marx, Maarten. (http://id.loc.gov/vocabulary/relators/aut), Spencer, Joel. (http://id.loc.gov/vocabulary/relators/aut), Vardi, Moshe Y. (http://id.loc.gov/vocabulary/relators/aut), Venema, Yde. (http://id.loc.gov/vocabulary/relators/aut), Weinstein, Scott. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Texts in Theoretical Computer Science. An EATCS Series,
Subjects:
Computers.
Mathematical logic.
Software engineering.
Computer logic.
Database management.
Theory of Computation.
Mathematical Logic and Formal Languages.
Software Engineering.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Database Management.
Online Access:https://doi.org/10.1007/3-540-68804-8

Internet

https://doi.org/10.1007/3-540-68804-8

Similar Items