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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Grädel, Erich (Autor), Kolaitis, Phokion G. (Autor), Libkin, Leonid (Autor), Marx, Maarten (Autor), Spencer, Joel (Autor), Vardi, Moshe Y. (Autor), Venema, Yde (Autor), Weinstein, Scott (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Texts in Theoretical Computer Science. An EATCS Series,
Temas:
Computer science.
Machine theory.
Software engineering.
Database management.
Theory of Computation.
Formal Languages and Automata Theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Database Management.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Unifying Themes in Finite Model Theory
  • On the Expressive Power of Logics on Finite Models
  • Finite Model Theory and Descriptive Complexity
  • Logic and Random Structures
  • Embedded Finite Models and Constraint Databases
  • A Logical Approach to Constraint Satisfaction
  • Local Variations on a Loose Theme: Modal Logic and Decidability.

Ejemplares similares