Finite and Algorithmic Model Theory

Herausgeber: Esparza, Javier; Steinhorn, Charles; Michaux, Christian

• Broschiertes Buch

Produktbeschreibung

Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 354
• Erscheinungstermin: 10. März 2011
• Englisch
• Abmessung: 229mm x 152mm x 21mm
• Gewicht: 575g
• ISBN-13: 9780521718202
• ISBN-10: 0521718201
• Artikelnr.: 31192269

Inhaltsangabe

Preface Javier Esparza, Christian Michaux and Charles Steinhorn;
Automata-based presentations of infinite structures Vince Bárány, Erich
Grä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.