skip to content
Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings Preview this item
ClosePreview this item
Checking...

Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings

Author: Lev Dmitrievich Beklemishev; Ruy J G B de Queiroz
Publisher: Berlin ; Heidelberg ; New York : Springer, ©2011.
Series: Lecture notes in computer science, 6642.; Lecture notes in computer science., Lecture notes in artificial intelligence.; Lecture notes in computer science., Lecture notes in artificial intelligence., FoLLI publications on logic, language and information.; LNCS sublibrary., SL 7,, Artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Lev Dmitrievich Beklemishev; Ruy J G B de Queiroz
ISBN: 9783642209208 3642209203
OCLC Number: 728101846
Description: 1 online resource (x, 309 pages).
Series Title: Lecture notes in computer science, 6642.; Lecture notes in computer science., Lecture notes in artificial intelligence.; Lecture notes in computer science., Lecture notes in artificial intelligence., FoLLI publications on logic, language and information.; LNCS sublibrary., SL 7,, Artificial intelligence.
Other Titles: WoLLIC 2011
Responsibility: Lev D. Beklemishev, Ruy de Queiroz (eds.).

Abstract:

This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.

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/728101846> # Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "728101846" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1363864916#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1363864916#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/005.131/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1363864916#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/1363864916#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:alternateName "WoLLIC 2011" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/60871940> ; # Lev Dmitrievich Beklemishev
    schema:contributor <http://viaf.org/viaf/59253332> ; # Ruy J G B de Queiroz
    schema:copyrightYear "2011" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1363864916#Meeting/workshop_on_logic_language_information_and_computation_18th_2011_philadelphia_pa> ; # Workshop on Logic, Language, Information and Computation (18th : 2011 : Philadelphia, Pa.)
    schema:datePublished "2011" ;
    schema:description "This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1363864916> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1363864916#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1363864916#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1363864916#Series/lncs_sublibrary_sl_7_artificial_intelligence> ; # LNCS sublibrary. SL 7, Artificial intelligence
    schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science, Lecture notes in artificial intelligence. FoLLI publications on logic, language and information
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1363864916#CreativeWork/> ;
    schema:name "Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings"@en ;
    schema:productID "728101846" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/728101846#PublicationEvent/berlin_heidelberg_new_york_springer_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1363864916#Agent/springer> ; # Springer
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-642-20920-8> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3066680> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-20920-8> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-20920-8> ;
    schema:workExample <http://worldcat.org/isbn/9783642209208> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-20920-8> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/728101846> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/1363864916#Meeting/workshop_on_logic_language_information_and_computation_18th_2011_philadelphia_pa> # Workshop on Logic, Language, Information and Computation (18th : 2011 : Philadelphia, Pa.)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1363864916#Place/philadelphia_pa> ; # Philadelphia, Pa.)
    schema:name "Workshop on Logic, Language, Information and Computation (18th : 2011 : Philadelphia, Pa.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1363864916#Place/philadelphia_pa> # Philadelphia, Pa.)
    a schema:Place ;
    schema:name "Philadelphia, Pa.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1363864916#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/728101846> ; # Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1363864916#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/728101846> ; # Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1363864916#Series/lncs_sublibrary_sl_7_artificial_intelligence> # LNCS sublibrary. SL 7, Artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/728101846> ; # Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings
    schema:name "LNCS sublibrary. SL 7, Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://viaf.org/viaf/59253332> # Ruy J G B de Queiroz
    a schema:Person ;
    schema:familyName "Queiroz" ;
    schema:givenName "Ruy J. G. B. de" ;
    schema:name "Ruy J G B de Queiroz" ;
    .

<http://viaf.org/viaf/60871940> # Lev Dmitrievich Beklemishev
    a schema:Person ;
    schema:birthDate "1967" ;
    schema:familyName "Beklemishev" ;
    schema:givenName "Lev Dmitrievich" ;
    schema:name "Lev Dmitrievich Beklemishev" ;
    .

<http://worldcat.org/entity/work/data/1363864916#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/728101846> ; # Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings
    .

<http://worldcat.org/isbn/9783642209208>
    a schema:ProductModel ;
    schema:isbn "3642209203" ;
    schema:isbn "9783642209208" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/728101846> ; # Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science, Lecture notes in artificial intelligence. FoLLI publications on logic, language and information
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/728101846> ; # Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings
    schema:issn "1611-3349" ;
    schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence. FoLLI publications on logic, language and information" ;
    .

<http://www.worldcat.org/title/-/oclc/728101846>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/728101846> ; # Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings
    schema:dateModified "2018-02-09" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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