skip to content
Finite model theory Preview this item
ClosePreview this item
Checking...

Finite model theory

Author: Heinz-Dieter Ebbinghaus; Jörg Flum
Publisher: New York, NY : Springer, 2005.
Series: Springer monographs in mathematics.
Edition/Format:   eBook : Document : English : 2nd rev. and enl. ed. 1999View all editions and formats
Database:WorldCat
Summary:
Presents the main results of descriptive complexity theory - the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. This book also looks at important logic in this context, which include fixed-point logic, transitive closure logic, and certain infinitary languages.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Ebbinghaus, Heinz-Dieter, 1939-
Finite model theory.
New York, NY : Springer, 2005
(DLC) 2005932862
(OCoLC)62878615
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Heinz-Dieter Ebbinghaus; Jörg Flum
ISBN: 9783540287889 3540287884
OCLC Number: 262692126
Description: 1 online resource (xi, 360 pages) : illustrations.
Contents: Preliminaries; The Ehrenfeucht-Fraïssé Method; More on Games; 0-1 Laws; Satisfiability in the Finite; Finite Automata and Logic: A Microcosm of Finite Model Theory; Descriptive Complexity Theory; Logics with Fixed-Point Operators; Logic Programs; Optimization Problems; Logics for PTIME; Quantifiers and Logical Reductions.
Series Title: Springer monographs in mathematics.
Responsibility: Heinz-Dieter Ebbinghaus, Jörg Flum.
More information:

Abstract:

Presents the main results of descriptive complexity theory - the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. This  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/262692126>
library:oclcnum"262692126"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/262692126>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:bookEdition"2nd rev. and enl. ed. 1999."
schema:bookFormatschema:EBook
schema:contributor
schema:creator
schema:datePublished"2005"
schema:description"Presents the main results of descriptive complexity theory - the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. This book also looks at important logic in this context, which include fixed-point logic, transitive closure logic, and certain infinitary languages."@en
schema:description"Preliminaries; The Ehrenfeucht-Fraïssé Method; More on Games; 0-1 Laws; Satisfiability in the Finite; Finite Automata and Logic: A Microcosm of Finite Model Theory; Descriptive Complexity Theory; Logics with Fixed-Point Operators; Logic Programs; Optimization Problems; Logics for PTIME; Quantifiers and Logical Reductions."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/26848356>
schema:genre"Electronic books."@en
schema:inLanguage"en"
schema:name"Finite model theory"@en
schema:publisher
schema:url<http://www.myilibrary.com?id=41313>
schema:url<http://rave.ohiolink.edu/ebooks/ebc/3540287884>
schema:url<http://dx.doi.org/10.1007/3-540-28788-4>
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.