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

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
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:

This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite  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


Primary Entity

<http://www.worldcat.org/oclc/262692126> # Finite model theory
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "262692126" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26848356#Place/new_york_ny> ; # New York, NY
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://id.worldcat.org/fast/1024368> ; # Model theory
    schema:about <http://dewey.info/class/511.34/e22/> ;
    schema:bookEdition "2nd rev. and enl. ed. 1999." ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/54214837> ; # Jörg Flum
    schema:creator <http://viaf.org/viaf/108792446> ; # Heinz-Dieter Ebbinghaus
    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:isPartOf <http://worldcat.org/issn/1439-7382> ; # Springer monographs in mathematics.
    schema:isSimilarTo <http://www.worldcat.org/oclc/62878615> ;
    schema:name "Finite model theory"@en ;
    schema:productID "262692126" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/262692126#PublicationEvent/new_york_ny_springer_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/26848356#Agent/springer> ; # Springer
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://dx.doi.org/10.1007/3-540-28788-4> ;
    schema:url <http://www.myilibrary.com?id=41313> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/3540287884> ;
    schema:url <http://link.springer.com/10.1007/3-540-28788-4> ;
    schema:url <http://dx.doi.org/10.1007/3-540-28788-4> ;
    schema:url <http://catdir.loc.gov/catdir/toc/fy0604/2005932862.html> ;
    schema:workExample <http://worldcat.org/isbn/9783540287889> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262692126> ;
    .


Related Entities

<http://id.worldcat.org/fast/1024368> # Model theory
    a schema:Intangible ;
    schema:name "Model theory"@en ;
    .

<http://link.springer.com/10.1007/3-540-28788-4>
    rdfs:comment "from Springer" ;
    rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/108792446> # Heinz-Dieter Ebbinghaus
    a schema:Person ;
    schema:birthDate "1939" ;
    schema:familyName "Ebbinghaus" ;
    schema:givenName "Heinz-Dieter" ;
    schema:name "Heinz-Dieter Ebbinghaus" ;
    .

<http://viaf.org/viaf/54214837> # Jörg Flum
    a schema:Person ;
    schema:familyName "Flum" ;
    schema:givenName "Jörg" ;
    schema:name "Jörg Flum" ;
    .

<http://worldcat.org/isbn/9783540287889>
    a schema:ProductModel ;
    schema:isbn "3540287884" ;
    schema:isbn "9783540287889" ;
    .

<http://worldcat.org/issn/1439-7382> # Springer monographs in mathematics.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262692126> ; # Finite model theory
    schema:issn "1439-7382" ;
    schema:name "Springer monographs in mathematics." ;
    schema:name "Springer monographs in mathematics," ;
    .

<http://www.worldcat.org/oclc/62878615>
    a schema:CreativeWork ;
    rdfs:label "Finite model theory." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262692126> ; # Finite model theory
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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