Finite and algorithmic model theory

Finite and algorithmic model theory / edited by Javier Esparza, Christian Michaux, Charles Steinhorn.

Saved in:
Bibliographic Details
Other Authors: Esparza, Javier, Michaux, Christian, Steinhorn, Charles
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2011.
Series:London Mathematical Society lecture note series ; 379.
Subjects:
Finite model theory.
Computer science > Mathematics.
Table of Contents:
  • Preface Javier Esparza, Christian Michaux and Charles Steinhorn; Automata-based presentations of infinite structures Vince Bárány, Erich Gra;del and Sasha Rubin; Logical aspects of spatial databases Bart Kuijpers and Jan Van den Bussche; Some connections between finite and infinite model theory Vera Koponen; Algorithmic meta-theorems Stephan Kreutzer; Definability in classes of finite structures H. Dugald Macpherson and Charles Steinhorn; Model theoretic methods for fragments of FO and special classes of (finite) structures Martin Otto.

Similar Items