skip to content
Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University Preview this item
ClosePreview this item
Checking...

Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University

Author: Neil Immerman; Phokion Kolaitis
Publisher: Providence, R.I. : American Mathematical Society, ©1997.
Series: DIMACS series in discrete mathematics and theoretical computer science, v. 31.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Finite model theory can be succinctly described as the study of logics on finite structures. It is an area of research existing between mathematical logic and computer science. This volume presents  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: Kongreß
Conference papers and proceedings
Princeton (NJ, 1996)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Neil Immerman; Phokion Kolaitis
ISBN: 0821805177 9780821805176
OCLC Number: 36181102
Notes: Papers presented at DIMACS Workshop on Descriptive Complexity and Finite Models.
"NSF science and technology center in discrete mathematics and theoretical computer science a consortium of Rutgers University, Princeton University, AT & T Labs, Bell Labs, and Belcore."
Description: xiv, 248 pages : illustrations ; 26 cm.
Contents: Easier ways to win logical games / Ronald Fagin --
On the expression of graph properties in some fragments of monadic second-order logic / Bruno Courcelle --
Finite models, automata, and circuit complexity / Howard Straubing --
Databases and finite-model theory / Victor Vianu --
Why is modal logic so robustly decidable? / Moshe Y. Vardi --
Model checking and the mu-calculus / E. Allen Emerson --
Algebraic propositional proof systems / Toniann Pitassi.
Series Title: DIMACS series in discrete mathematics and theoretical computer science, v. 31.
Responsibility: Neil Immerman, Phokion G. Kolaitis, editor.

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/36181102> # Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "36181102" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/837059219#Place/providence_r_i> ; # Providence, R.I.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/riu> ;
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/computational_complexity> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/raisonnement_congres> ; # Raisonnement--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/modeltheorie> ; # Modeltheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/graphes_theorie_des_congres> ; # Graphes, Théorie des--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/automates_mathematiques_theorie_des_congres> ; # Automates mathématiques, Théorie des--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/complexite_de_calcul_informatique_congres> ; # Complexité de calcul (informatique)--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/eindige_wiskunde> ; # Eindige wiskunde
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/modelltheorie> ; # Modelltheorie
   schema:about <http://id.loc.gov/authorities/subjects/sh85086421> ; # Model theory
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/complexiteit> ; # Complexiteit
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/modeles_theorie_des_congres> ; # Modèles, Théorie des--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/berekenbaarheid> ; # Berekenbaarheid
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/modalite_logique_congres> ; # Modalité (logique)--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/jeux_intellectuels_congres> ; # Jeux intellectuels--Congrès
   schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
   schema:about <http://experiment.worldcat.org/entity/work/data/837059219#Topic/recursie> ; # Recursie
   schema:about <http://id.worldcat.org/fast/1024368> ; # Model theory
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/84494807> ; # Neil Immerman
   schema:contributor <http://experiment.worldcat.org/entity/work/data/837059219#Meeting/dimacs_workshop_on_descriptive_complexity_and_finite_models_1996_princeton_university> ; # DIMACS Workshop on Descriptive Complexity and Finite Models (1996 : Princeton University)
   schema:contributor <http://viaf.org/viaf/47007849> ; # Phokion Kolaitis
   schema:copyrightYear "1997" ;
   schema:datePublished "1997" ;
   schema:description "Easier ways to win logical games / Ronald Fagin -- On the expression of graph properties in some fragments of monadic second-order logic / Bruno Courcelle -- Finite models, automata, and circuit complexity / Howard Straubing -- Databases and finite-model theory / Victor Vianu -- Why is modal logic so robustly decidable? / Moshe Y. Vardi -- Model checking and the mu-calculus / E. Allen Emerson -- Algebraic propositional proof systems / Toniann Pitassi."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/837059219> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Princeton (NJ, 1996)"@en ;
   schema:genre "Kongreß"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837059219#Series/dimacs_series_in_discrete_mathematics_and_theoretical_computer_science> ; # DIMACS series in discrete mathematics and theoretical computer science ;
   schema:name "Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University"@en ;
   schema:productID "36181102" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/36181102#PublicationEvent/providence_r_i_american_mathematical_society_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/837059219#Agent/american_mathematical_society> ; # American Mathematical Society
   schema:url <https://www.lib.berkeley.edu/nrlf-electronic-copy/b24182242> ;
   schema:workExample <http://worldcat.org/isbn/9780821805176> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9749804> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/36181102> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/837059219#Agent/american_mathematical_society> # American Mathematical Society
    a bgn:Agent ;
   schema:name "American Mathematical Society" ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Meeting/dimacs_workshop_on_descriptive_complexity_and_finite_models_1996_princeton_university> # DIMACS Workshop on Descriptive Complexity and Finite Models (1996 : Princeton University)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/837059219#Place/princeton_university> ; # Princeton University)
   schema:name "DIMACS Workshop on Descriptive Complexity and Finite Models (1996 : Princeton University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Place/princeton_university> # Princeton University)
    a schema:Place ;
   schema:name "Princeton University)" ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Place/providence_r_i> # Providence, R.I.
    a schema:Place ;
   schema:name "Providence, R.I." ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Series/dimacs_series_in_discrete_mathematics_and_theoretical_computer_science> # DIMACS series in discrete mathematics and theoretical computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/36181102> ; # Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University
   schema:name "DIMACS series in discrete mathematics and theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Topic/automates_mathematiques_theorie_des_congres> # Automates mathématiques, Théorie des--Congrès
    a schema:Intangible ;
   schema:name "Automates mathématiques, Théorie des--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Topic/complexite_de_calcul_informatique_congres> # Complexité de calcul (informatique)--Congrès
    a schema:Intangible ;
   schema:name "Complexité de calcul (informatique)--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Topic/graphes_theorie_des_congres> # Graphes, Théorie des--Congrès
    a schema:Intangible ;
   schema:name "Graphes, Théorie des--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Topic/jeux_intellectuels_congres> # Jeux intellectuels--Congrès
    a schema:Intangible ;
   schema:name "Jeux intellectuels--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Topic/modalite_logique_congres> # Modalité (logique)--Congrès
    a schema:Intangible ;
   schema:name "Modalité (logique)--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Topic/modeles_theorie_des_congres> # Modèles, Théorie des--Congrès
    a schema:Intangible ;
   schema:name "Modèles, Théorie des--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837059219#Topic/raisonnement_congres> # Raisonnement--Congrès
    a schema:Intangible ;
   schema:name "Raisonnement--Congrès"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85086421> # Model theory
    a schema:Intangible ;
   schema:name "Model theory"@en ;
    .

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

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
   schema:name "Computational complexity"@en ;
    .

<http://viaf.org/viaf/47007849> # Phokion Kolaitis
    a schema:Person ;
   schema:familyName "Kolaitis" ;
   schema:givenName "Phokion" ;
   schema:name "Phokion Kolaitis" ;
    .

<http://viaf.org/viaf/84494807> # Neil Immerman
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:familyName "Immerman" ;
   schema:givenName "Neil" ;
   schema:name "Neil Immerman" ;
    .

<http://worldcat.org/isbn/9780821805176>
    a schema:ProductModel ;
   schema:isbn "0821805177" ;
   schema:isbn "9780821805176" ;
    .

<http://www.worldcat.org/title/-/oclc/36181102>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/36181102> ; # Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University
   schema:dateModified "2018-03-12" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://www.lib.berkeley.edu/nrlf-electronic-copy/b24182242>
   rdfs:comment "Request an electronic copy from NRLF" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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