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

Computer science logic : 7th workshop, CSL '93, Swansea, U.K., Sept. 13-17, 1993 : selected papers

Author: E Börger; et al
Publisher: Berlin [etc.] : Springer-Verlag, cop. 1994.
Series: Lecture notes in computer science, 832.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

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...

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: Congressen (vorm)
Conference papers and proceedings
Additional Physical Format: Computer science logic
(NL-LeOCL)123738857
(OCoLC)30734853
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: E Börger; et al
ISBN: 0387582770 9780387582771 3540582770 9783540582779
OCLC Number: 150398168
Description: 1 online resource (VIII, 336 p.)
Contents: The complexity of set constraints.- On duality for the modal ?-calculus.- Short proofs of tautologies using the schema of equivalence.- Process algebra with combinators.- Is game semantics necessary?.- The model theory of concurrency.- From semantics to rules: A machine assisted analysis.- On the reasons for average superlinear speedup in parallel backtrack search.- Negation as inconsistency in PROLOG via intuitionistic logic.- Approximable minimization problems and optimal solutions on random inputs.- Bounded-arity hierarchies in fixed-point logics.- Petri nets and the equivalence problem.- Logical aspects of set constraints.- Oracles and quantifiers.- A Horn clause that implies an undecidable set of Horn clauses.- Higher-order action calculi.- A generic strong normalization argument: Application to the Calculus of Constructions.- Data types, infinity and equality in system AF 2.- Normalization for typed lambda calculi with explicit substitution.- Program transformation and proof transformation.- Incorporating generalized quantifiers and the least fixed point operator.- "The semantics of the C programming language".
Series Title: Lecture notes in computer science, 832.
Responsibility: Egon Börger ... [et al.] (eds.).

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/150398168> # Computer science logic 7th workshop, CSL '93, Swansea, U.K., Sept. 13-17, 1993 : selected papers
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "150398168" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4919499517#Place/berlin_etc> ; # Berlin etc.
    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://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/computer_science_congresses> ; # Computer science--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/logic_symbolic_and_mathematical_congresses> ; # Logic, Symbolic and mathematical--Congresses
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/4919499517#Meeting/international_workshop_on_computer_science_logic_csl_7_13_09_1993_17_09_1993_swansea_uk> ; # International Workshop on Computer Science Logic, CSL (7 : 13-09-1993 - 17-09-1993 : Swansea, UK)
    schema:copyrightYear "op." ;
    schema:datePublished "1994" ;
    schema:editor <http://viaf.org/viaf/91868953> ; # Egon Börger
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4919499517> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Congressen (vorm)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/30734853> ;
    schema:name "Computer science logic 7th workshop, CSL '93, Swansea, U.K., Sept. 13-17, 1993 : selected papers"@en ;
    schema:numberOfPages "336" ;
    schema:productID "150398168" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/150398168#PublicationEvent/berlin_etc_springer_verlag_cop_1994> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4919499517#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://dx.doi.org/10.1007/BFb0049319> ;
    schema:workExample <http://worldcat.org/isbn/9783540582779> ;
    schema:workExample <http://worldcat.org/isbn/9780387582771> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/150398168> ;
    .


Related Entities

<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/international_workshop_on_computer_science_logic_csl_7_13_09_1993_17_09_1993_swansea_uk> # International Workshop on Computer Science Logic, CSL (7 : 13-09-1993 - 17-09-1993 : Swansea, UK)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4919499517#Place/swansea_uk> ; # Swansea, UK)
    schema:name "International Workshop on Computer Science Logic, CSL (7 : 13-09-1993 - 17-09-1993 : Swansea, UK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919499517#Topic/logic_symbolic_and_mathematical_congresses> # Logic, Symbolic and mathematical--Congresses
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85078115> ;
    schema:name "Logic, Symbolic and mathematical--Congresses"@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/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://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/150398168> ; # Computer science logic 7th workshop, CSL '93, Swansea, U.K., Sept. 13-17, 1993 : selected papers
    schema:issn "1611-3349" ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/oclc/30734853>
    a schema:CreativeWork ;
    rdfs:label "Computer science logic" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/150398168> ; # Computer science logic 7th workshop, CSL '93, Swansea, U.K., Sept. 13-17, 1993 : selected papers
    .

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