Finite Model Theory on Tame Classes of Structures 1st Edition by Anuj Dawar ISBN 9783540744566

Finite Model Theory on Tame Classes of Structures 1st Edition by Anuj Dawar – Ebook PDF Instant Download/Delivery. 9783540744566
Full download Finite Model Theory on Tame Classes of Structures 1st Edition after payment

Product details:

ISBN 13: 9783540744566
Author: Anuj Dawar

The early days of finite model theory saw a variety of results establishing that the model theory of the class of finite structures is not well-behaved. Recent work has shown that considering subclasses of the class of finite structures allows us to recover some good model-theoretic behaviour. This appears to be especially true of some classes that are known to be algorithmically well-behaved. We review some results in this area and explore the connection between logic and algorithms.

Finite Model Theory on Tame Classes of Structures 1st Table of contents:

Tame Classes of Structures
Logic and Algorithms on Tame Classes
Preservation Theorems

People also search for Finite Model Theory on Tame Classes of Structures 1st:

finite model theory on tame classes of structures
    
finite model theory
    
finite model
    
finite element theory
    
finite time period