Amazon cover image
Image from Amazon.com
Image from Google Jackets

Finite Model Theory

By: Contributor(s): Material type: TextTextLanguage: English Series: Perspectives in Mathematical LogicPublication details: Berlin Springer 1995Description: xv, 327pISBN:
  • 354060149X
Subject(s):
Contents:
1. The Ehrenfeucht-Fraisse Method 2. More on Games 3. 0-1 Laws 4. Satisfiability in the Finite 5. Finite Automata and Logic: A Microcosm of Finite Model Theory 6. Descriptive Complexity Theory 7. Logics with Fixed-Point Operators 8. Logic Programs 9. Optimization Problems 10. Quantifiers and Logical Reductions
Summary: A study which presents the results of descriptive complexity theory, the connection between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The parts on the model theory and descriptive complexity theory may also be read independently.
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified Status Date due Barcode
IMSc Library 510.6 EBB (Browse shelf(Opens below)) Available 32669

1. The Ehrenfeucht-Fraisse Method
2. More on Games
3. 0-1 Laws
4. Satisfiability in the Finite
5. Finite Automata and Logic: A Microcosm of Finite Model Theory
6. Descriptive Complexity Theory
7. Logics with Fixed-Point Operators
8. Logic Programs
9. Optimization Problems
10. Quantifiers and Logical Reductions

A study which presents the results of descriptive complexity theory, the connection between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The parts on the model theory and descriptive complexity theory may also be read independently.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India