skip to content
Generalized quantifiers and computation : revised lectures Preview this item
ClosePreview this item
Checking...

Generalized quantifiers and computation : revised lectures

Author: Jouko Väänänen
Publisher: Berlin [u.a.] Springer 1999
Series: Lecture notes in computer science, 1754
Edition/Format:   Print book : EnglishView all editions and formats
Publication:Generalized Quantifiers and Computation.
Summary:

This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The  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: Conference papers and proceedings
Kongress
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jouko Väänänen
ISBN: 3540669930 9783540669937
OCLC Number: 845369688
In: Väänänen, Jouko
Description: 139 S
Contents: Generalized Quantifiers, an Introduction.- Counting and Locality over Finite Structures A Survey.- A Perspective on Lindstroem Quantifiers and Oracles.- Generalized Quantifiers in Logic Programs.- A Generalized Quantifier Concept in Computational Complexity Theory.- Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers.
Series Title: Lecture notes in computer science, 1754
Responsibility: 9th European Summer School in Logic, Language, and Information, ESSLLI '97 workshop, Aix-en-Provence, France, August 11-22, 1997. Jouko Väänänen (ed.)
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/845369688> # Generalized quantifiers and computation : revised lectures
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "845369688" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/34985893#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Topic/computer_science_congresses_mathematics> ; # Computer science--Congresses--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Topic/quantor> ; # Quantor
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Topic/computer_logic_congresses> ; # Computer logic--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Topic/programming_languages_electronic_computers> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Thing/kongress> ; # Kongress
   schema:about <http://id.worldcat.org/fast/1024368> ; # Model theory
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Topic/model_theory_congresses> ; # Model theory--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Place/aix_en_provence_1997> ; # Aix-en-Provence <1997>
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Topic/berechnungskomplexitat> ; # Berechnungskomplexität
   schema:about <http://dewey.info/class/511.3/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/34985893#Topic/programming_languages_electronic_computers_congresses> ; # Programming languages (Electronic Computers)--Congresses
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/34985893#Meeting/esslli_97_9_1997_08_11_22_aix_en_provence> ; # ESSLLI '97 (9 1997.08.11-22 Aix-en-Provence)
   schema:contributor <http://viaf.org/viaf/67327911> ; # Jouko Väänänen
   schema:contributor <http://experiment.worldcat.org/entity/work/data/34985893#Meeting/european_summer_school_in_logic_language_and_information_9_1997_08_11_22_aix_en_provence> ; # European Summer School in Logic, Language, and Information (9 1997.08.11-22 Aix-en-Provence)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/34985893#Meeting/european_summer_school_in_logic_language_and_information_9_1997_aix_en_provence> ; # European Summer School in Logic, Language and Information 9 1997 Aix-en-Provence
   schema:datePublished "1999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/34985893> ;
   schema:genre "Conference papers and proceedings" ;
   schema:genre "Kongress" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/34985893#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/34985893#Series/> ; #
   schema:name "Generalized quantifiers and computation : revised lectures" ;
   schema:productID "845369688" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845369688#PublicationEvent/berlin_u_a_springer1999> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/34985893#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz082870306cov.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz082870306kap.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz082870306inh.htm> ;
   schema:url <http://www.gbv.de/dms/bowker/toc/9783540669937.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540669937> ;
   umbel:isLike <http://d-nb.info/95808064X> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA010728> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845369688> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/34985893#Meeting/esslli_97_9_1997_08_11_22_aix_en_provence> # ESSLLI '97 (9 1997.08.11-22 Aix-en-Provence)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/34985893#Place/aix_en_provence> ; # Aix-en-Provence)
   schema:name "ESSLLI '97 (9 1997.08.11-22 Aix-en-Provence)" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Meeting/european_summer_school_in_logic_language_and_information_9_1997_08_11_22_aix_en_provence> # European Summer School in Logic, Language, and Information (9 1997.08.11-22 Aix-en-Provence)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/34985893#Place/aix_en_provence> ; # Aix-en-Provence)
   schema:name "European Summer School in Logic, Language, and Information (9 1997.08.11-22 Aix-en-Provence)" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Meeting/european_summer_school_in_logic_language_and_information_9_1997_aix_en_provence> # European Summer School in Logic, Language and Information 9 1997 Aix-en-Provence
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/34985893#Place/aix_en_provence> ; # Aix-en-Provence)
   schema:name "European Summer School in Logic, Language and Information 9 1997 Aix-en-Provence" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Place/aix_en_provence> # Aix-en-Provence)
    a schema:Place ;
   schema:name "Aix-en-Provence)" ;
   schema:name "Aix-en-Provence" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Place/aix_en_provence_1997> # Aix-en-Provence <1997>
    a schema:Place ;
   schema:name "Aix-en-Provence <1997>" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845369688> ; # Generalized quantifiers and computation : revised lectures
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845369688> ; # Generalized quantifiers and computation : revised lectures
   schema:name "Lecture notes in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Topic/berechnungskomplexitat> # Berechnungskomplexität
    a schema:Intangible ;
   schema:name "Berechnungskomplexität" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Topic/computer_science_congresses_mathematics> # Computer science--Congresses--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Congresses--Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Topic/computer_science_mathematics> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Topic/programming_languages_electronic_computers> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)" ;
    .

<http://experiment.worldcat.org/entity/work/data/34985893#Topic/programming_languages_electronic_computers_congresses> # Programming languages (Electronic Computers)--Congresses
    a schema:Intangible ;
   schema:name "Programming languages (Electronic Computers)--Congresses" ;
    .

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

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
   schema:name "Computer logic" ;
    .

<http://viaf.org/viaf/67327911> # Jouko Väänänen
    a schema:Person ;
   schema:birthDate "1950" ;
   schema:familyName "Väänänen" ;
   schema:givenName "Jouko" ;
   schema:name "Jouko Väänänen" ;
    .

<http://worldcat.org/isbn/9783540669937>
    a schema:ProductModel ;
   schema:isbn "3540669930" ;
   schema:isbn "9783540669937" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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