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 [u.a.] : Springer, 1999.
Series: Perspectives in mathematical logic.
Edition/Format:   Print book : English : 2., 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

Genre/Form: Lehrbuch
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Heinz-Dieter Ebbinghaus; Jörg Flum
ISBN: 3540657584 9783540657583
OCLC Number: 247592271
Notes: Literaturverz. S. 339 - 347.
Description: XIII, 360 S : graph. Darst ; 24 cm.
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.
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/247592271> # Finite model theory
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "247592271" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26848356#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Topic/endliche_modelltheorie> ; # Endliche Modelltheorie
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Thing/model_theory> ; # Model theory
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Topic/modelltheorie> ; # Modelltheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Thing/endliche_modelltheorie_swd_id_46159782> ; # Endliche Modelltheorie ; SWD-ID: 46159782
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Topic/komplexitat> ; # Komplexität
   schema:bookEdition "2., 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:exampleOfWork <http://worldcat.org/entity/work/id/26848356> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26848356#Series/perspectives_in_mathematical_logic> ; # Perspectives in mathematical logic.
   schema:name "Finite model theory" ;
   schema:productID "247592271" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/247592271#PublicationEvent/berlin_u_a_springer_1999> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/26848356#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz079786022inh.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz079786022cov.htm> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=1522229&custom_att_2=simple_viewer> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=008643972&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008643972&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9783540657583> ;
   umbel:isLike <http://d-nb.info/956798284> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/247592271> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/26848356#Series/perspectives_in_mathematical_logic> # Perspectives in mathematical logic.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/247592271> ; # Finite model theory
   schema:name "Perspectives in mathematical logic." ;
   schema:name "Perspectives in mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Thing/endliche_modelltheorie_swd_id_46159782> # Endliche Modelltheorie ; SWD-ID: 46159782
    a schema:Thing ;
   schema:name "Endliche Modelltheorie ; SWD-ID: 46159782" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Topic/endliche_modelltheorie> # Endliche Modelltheorie
    a schema:Intangible ;
   schema:name "Endliche Modelltheorie" ;
    .

<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" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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