skip to content
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers Preview this item
ClosePreview this item
Checking...

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Author: E Börger; Yuri Gurevich; K Meinke
Publisher: Berlin ; New York : Springer-Verlag, ©1994.
Series: Lecture notes in computer science, 832.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:
"This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic resources (Books)
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Workshop on Computer Science Logic (7th : 1993 : Swansea, Wales).
Computer science logic.
Berlin ; New York : Springer-Verlag, ©1994
(OCoLC)681046779
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: E Börger; Yuri Gurevich; K Meinke
ISBN: 3540582770 9783540582779 0387582770 9780387582771
OCLC Number: 30734853
Description: viii, 336 pages : illustrations ; 24 cm.
Contents: The Complexity of Set Constraints / A. Aiken, D. Kozen, M. Vardi and E. Wimmers --
On Duality for the Modal [mu]-calculus / S. Ambler, M. Kwiatkowska and N. Measor --
Short Proofs of Tautologies Using the Schema of Equivalence / M. Baaz and R. Zach --
Process Algebra with Combinators / J.A. Bergstra, I. Bethke and A. Ponse --
Is Game Semantics Necessary? / A. Blass --
The Model Theory of Concurrency / K.J. Compton and R. Uceda-Sosa --
From Semantics to Rules: a Machine Assisted Analysis / C. Coquand --
On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search / A. Goerdt and U. Kamps --
Negation as Inconsistency in PROLOG via Intuitionistic Logic / A. Gomolko --
Approximable Minimisation Problems and Optimal Solutions on Random Inputs / E. Gradel and A. Malmstrom --
Bounded-arity Hierarchies in Fixed-point Logics / M. Grohe --
Petri Nets and the Equivalence Problem / Y. Hirshfeld --
Logical Aspects of Set Constraints / D. Kozen. Oracles and Quantifiers / J.A. Makowsky and Y.B. Pnueli --
A Horn Clause that Implies an Undecidable Set of Horn Clauses / J. Marcinkowski --
Higher-order Action Calculi / R. Milner --
A Generic Strong Normalisation Argument: Application to the Calculus of Constructions / C.-H.L. Ong and E. Ritter --
Data Types, Infinity and Equality in System AF[subscript 2] / C. Raffalli --
Normalisation for Typed Lambda Calculi with Explicit Substitution / E. Ritter --
Program Transformation and Proof Transformation / W. Sieg and S.S. Wainer --
Incorporating Generalised Quantifiers and the Least Fixed Point Operator / I.A. Stewart --
Errata to "The Semantics of the C Programming Language" / Y. Gurevich and J.K. Huggins.
Series Title: Lecture notes in computer science, 832.
Responsibility: Egon Börger, Yuri Gurevich, Karl Meinke, eds.
More information:

Abstract:

This volume contains a selection of papers presented at the Conference of the European Association for Computer Science Logic, held at Swansea in September 1993. Topics discussed include set  Read more...

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/30734853> # Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "30734853" ;
    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/4919499517#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/logique_symbolique_et_mathematique_congres> ; # Logique symbolique et mathématique--Congrès
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/004.015113/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Place/swansea_1993> ; # Swansea <1993>
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/programmeertalen> ; # Programmeertalen
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/logica> ; # Logica
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/logik> ; # Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/informatik> ; # Informatik
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/15336161> ; # Yuri Gurevich
    schema:contributor <http://viaf.org/viaf/91868953> ; # Egon Börger
    schema:contributor <http://viaf.org/viaf/17294845> ; # Karl Meinke
    schema:copyrightYear "1994" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4919499517#Meeting/workshop_on_computer_science_logic_7th_1993_swansea_wales> ; # Workshop on Computer Science Logic (7th : 1993 : Swansea, Wales)
    schema:datePublished "1994" ;
    schema:description "Oracles and Quantifiers / J.A. Makowsky and Y.B. Pnueli -- A Horn Clause that Implies an Undecidable Set of Horn Clauses / J. Marcinkowski -- Higher-order Action Calculi / R. Milner -- A Generic Strong Normalisation Argument: Application to the Calculus of Constructions / C.-H.L. Ong and E. Ritter -- Data Types, Infinity and Equality in System AF[subscript 2] / C. Raffalli -- Normalisation for Typed Lambda Calculi with Explicit Substitution / E. Ritter -- Program Transformation and Proof Transformation / W. Sieg and S.S. Wainer -- Incorporating Generalised Quantifiers and the Least Fixed Point Operator / I.A. Stewart -- Errata to "The Semantics of the C Programming Language" / Y. Gurevich and J.K. Huggins."@en ;
    schema:description ""This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations."--PUBLISHER'S WEBSITE."@en ;
    schema:description "The Complexity of Set Constraints / A. Aiken, D. Kozen, M. Vardi and E. Wimmers -- On Duality for the Modal [mu]-calculus / S. Ambler, M. Kwiatkowska and N. Measor -- Short Proofs of Tautologies Using the Schema of Equivalence / M. Baaz and R. Zach -- Process Algebra with Combinators / J.A. Bergstra, I. Bethke and A. Ponse -- Is Game Semantics Necessary? / A. Blass -- The Model Theory of Concurrency / K.J. Compton and R. Uceda-Sosa -- From Semantics to Rules: a Machine Assisted Analysis / C. Coquand -- On the Reasons for Average Superlinear Speedup in Parallel Backtrack Search / A. Goerdt and U. Kamps -- Negation as Inconsistency in PROLOG via Intuitionistic Logic / A. Gomolko -- Approximable Minimisation Problems and Optimal Solutions on Random Inputs / E. Gradel and A. Malmstrom -- Bounded-arity Hierarchies in Fixed-point Logics / M. Grohe -- Petri Nets and the Equivalence Problem / Y. Hirshfeld -- Logical Aspects of Set Constraints / D. Kozen."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4919499517> ;
    schema:genre "Electronic resources (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/4919499517#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/681046779> ;
    schema:name "Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers"@en ;
    schema:productID "30734853" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/30734853#PublicationEvent/berlin_new_york_springer_verlag_1994> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4919499517#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://swbplus.bsz-bw.de/bsz040541541cov.htm> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9780387582771.pdf> ;
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:workExample <http://worldcat.org/isbn/9783540582779> ;
    schema:workExample <http://worldcat.org/isbn/9780387582771> ;
    umbel:isLike <http://d-nb.info/941468968> ;
    umbel:isLike <http://d-nb.info/921225687> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/30734853> ;
    .


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/4919499517#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919499517#Meeting/workshop_on_computer_science_logic_7th_1993_swansea_wales> # Workshop on Computer Science Logic (7th : 1993 : Swansea, Wales)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4919499517#Place/swansea_wales> ; # Swansea, Wales)
    schema:name "Workshop on Computer Science Logic (7th : 1993 : Swansea, Wales)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919499517#Place/swansea_1993> # Swansea <1993>
    a schema:Place ;
    schema:name "Swansea <1993>" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919499517#Place/swansea_wales> # Swansea, Wales)
    a schema:Place ;
    schema:name "Swansea, Wales)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919499517#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/30734853> ; # Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919499517#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4919499517#Topic/logique_symbolique_et_mathematique_congres> # Logique symbolique et mathématique--Congrès
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique--Congrès"@en ;
    .

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

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/15336161> # Yuri Gurevich
    a schema:Person ;
    schema:familyName "Gurevich" ;
    schema:givenName "Yuri" ;
    schema:name "Yuri Gurevich" ;
    .

<http://viaf.org/viaf/17294845> # Karl Meinke
    a schema:Person ;
    schema:familyName "Meinke" ;
    schema:givenName "Karl" ;
    schema:givenName "K." ;
    schema:name "Karl Meinke" ;
    .

<http://viaf.org/viaf/91868953> # Egon Börger
    a schema:Person ;
    schema:birthDate "1946" ;
    schema:familyName "Börger" ;
    schema:givenName "Egon" ;
    schema:givenName "E." ;
    schema:name "Egon Börger" ;
    .

<http://worldcat.org/isbn/9780387582771>
    a schema:ProductModel ;
    schema:isbn "0387582770" ;
    schema:isbn "9780387582771" ;
    .

<http://worldcat.org/isbn/9783540582779>
    a schema:ProductModel ;
    schema:isbn "3540582770" ;
    schema:isbn "9783540582779" ;
    .

<http://www.worldcat.org/oclc/681046779>
    a schema:CreativeWork ;
    rdfs:label "Computer science logic." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/30734853> ; # Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
    .

<http://www.worldcat.org/title/-/oclc/30734853>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/30734853> ; # Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers
    schema:dateModified "2018-05-16" ;
    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.