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

Finite model theory

Author: Heinz-Dieter Ebbinghaus; Jörg Flum
Publisher: Berlin ; New York : Springer, 1999.
Series: Perspectives in mathematical logic.
Edition/Format:   Print book : English : 2nd rev. and enl. edView all editions and formats
Summary:

This book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Heinz-Dieter Ebbinghaus; Jörg Flum
ISBN: 3540657584 9783540657583
OCLC Number: 42002596
Description: xiii, 360 pages ; 24 cm.
Contents: 1. Preliminaries --
2. The Ehrenfeucht-Fraisse Method --
3. More on Games --
4. 0-1 Laws --
5. Satisfiability in the Finite --
6. Finite Automata and Logic: A Microcosm of Finite Model Theory --
7. Descriptive Complexity Theory --
8. Logics with Fixed-Point Operators --
9. Logic Programs --
10. Optimization Problems --
11. Logics for PTIME --
12. Quantifiers and Logical Reductions.
Series Title: Perspectives in mathematical logic.
Responsibility: Heinz-Dieter Ebbinghaus, Jörg Flum.

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/42002596> # Finite model theory
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "42002596" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26848356#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://id.worldcat.org/fast/1024368> ; # Model theory
   schema:bookEdition "2nd rev. and enl. ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/54214837> ; # Jörg Flum
   schema:creator <http://viaf.org/viaf/108792446> ; # Heinz-Dieter Ebbinghaus
   schema:datePublished "1999" ;
   schema:description "1. Preliminaries -- 2. The Ehrenfeucht-Fraisse Method -- 3. More on Games -- 4. 0-1 Laws -- 5. Satisfiability in the Finite -- 6. Finite Automata and Logic: A Microcosm of Finite Model Theory -- 7. Descriptive Complexity Theory -- 8. Logics with Fixed-Point Operators -- 9. Logic Programs -- 10. Optimization Problems -- 11. Logics for PTIME -- 12. Quantifiers and Logical Reductions."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/26848356> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0172-6641> ; # Perspectives in mathematical logic.
   schema:name "Finite model theory"@en ;
   schema:productID "42002596" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/42002596#PublicationEvent/berlin_new_york_springer_1999> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/26848356#Agent/springer> ; # Springer
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1522229&custom_att_2=simple_viewer> ;
   schema:url <http://swbplus.bsz-bw.de/bsz079786022inh.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz079786022cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540657583> ;
   umbel:isLike <http://d-nb.info/956798284> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA012435> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/42002596> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

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

<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/9783540657583>
    a schema:ProductModel ;
   schema:isbn "3540657584" ;
   schema:isbn "9783540657583" ;
    .

<http://worldcat.org/issn/0172-6641> # Perspectives in mathematical logic.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/42002596> ; # Finite model theory
   schema:issn "0172-6641" ;
   schema:name "Perspectives in mathematical logic." ;
   schema:name "Perspectives in mathematical logic," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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