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 : Springer, cop. 1995.
Series: Perspectives in mathematical logic.
Edition/Format:   Print book : EnglishView all editions and formats
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  Read more...

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: Lehrbuch
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Heinz-Dieter Ebbinghaus; Jörg Flum
ISBN: 354060149X 9783540601494
OCLC Number: 613251163
Description: XV, 327 S : Ill ; 24 cm.
Series Title: Perspectives in mathematical logic.
Responsibility: Heinz-Dieter Ebbinghaus, Jörg Flum.
More information:

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/613251163> # Finite model theory
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "613251163" ;
   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://experiment.worldcat.org/entity/work/data/26848356#Topic/komplexitatstheorie> ; # Komplexitätstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Topic/modelltheorie> ; # Modelltheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Thing/complexite_algorithmique_mathematiques> ; # COMPLEXITÉ ALGORITHMIQUE (MATHÉMATIQUES)
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Thing/algorithmic_complexity_mathematics> ; # ALGORITHMIC COMPLEXITY (MATHEMATICS)
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Thing/algorithmische_komplexitat_mathematik> ; # ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK)
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Thing/theorie_des_modeles_logique_mathematique> ; # THÉORIE DES MODÈLES (LOGIQUE MATHÉMATIQUE)
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Thing/model_theory_mathematical_logic> ; # MODEL THEORY (MATHEMATICAL LOGIC)
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Thing/modelltheorie_mathematische_logik> ; # MODELLTHEORIE (MATHEMATISCHE LOGIK)
   schema:about <http://experiment.worldcat.org/entity/work/data/26848356#Topic/komplexitat> ; # Komplexität
   schema:about <http://dewey.info/class/511.3/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/26848356#Person/flum_jorg> ; # Jörg Flum
   schema:copyrightYear "op." ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/26848356#Person/ebbinghaus_heinz_dieter> ; # Heinz-Dieter Ebbinghaus
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/26848356> ;
   schema:genre "Lehrbuch" ;
   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 "613251163" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/613251163#PublicationEvent/berlin_springer_cop_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/26848356#Agent/springer> ; # Springer
   schema:url <http://d-nb.info/944729215/04> ;
   schema:workExample <http://worldcat.org/isbn/9783540601494> ;
   umbel:isLike <http://d-nb.info/944729215> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/613251163> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/26848356#Person/ebbinghaus_heinz_dieter> # Heinz-Dieter Ebbinghaus
    a schema:Person ;
   schema:familyName "Ebbinghaus" ;
   schema:givenName "Heinz-Dieter" ;
   schema:name "Heinz-Dieter Ebbinghaus" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Person/flum_jorg> # Jörg Flum
    a schema:Person ;
   schema:familyName "Flum" ;
   schema:givenName "Jörg" ;
   schema:name "Jörg Flum" ;
    .

<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/613251163> ; # Finite model theory
   schema:name "Perspectives in mathematical logic." ;
   schema:name "Perspectives in mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Thing/algorithmic_complexity_mathematics> # ALGORITHMIC COMPLEXITY (MATHEMATICS)
    a schema:Thing ;
   schema:name "ALGORITHMIC COMPLEXITY (MATHEMATICS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Thing/algorithmische_komplexitat_mathematik> # ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK)
    a schema:Thing ;
   schema:name "ALGORITHMISCHE KOMPLEXITÄT (MATHEMATIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Thing/complexite_algorithmique_mathematiques> # COMPLEXITÉ ALGORITHMIQUE (MATHÉMATIQUES)
    a schema:Thing ;
   schema:name "COMPLEXITÉ ALGORITHMIQUE (MATHÉMATIQUES)" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Thing/model_theory_mathematical_logic> # MODEL THEORY (MATHEMATICAL LOGIC)
    a schema:Thing ;
   schema:name "MODEL THEORY (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Thing/modelltheorie_mathematische_logik> # MODELLTHEORIE (MATHEMATISCHE LOGIK)
    a schema:Thing ;
   schema:name "MODELLTHEORIE (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Thing/theorie_des_modeles_logique_mathematique> # THÉORIE DES MODÈLES (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
   schema:name "THÉORIE DES MODÈLES (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/26848356#Topic/komplexitatstheorie> # Komplexitätstheorie
    a schema:Intangible ;
   schema:name "Komplexitätstheorie" ;
    .

<http://worldcat.org/isbn/9783540601494>
    a schema:ProductModel ;
   schema:isbn "354060149X" ;
   schema:isbn "9783540601494" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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