skip to content
Computer science logic : selected papers Preview this item
ClosePreview this item
Checking...

Computer science logic : selected papers

Author: Egon Börger
Publisher: Berlin : Springer, 1994.
Series: Lecture notes in computer science, 832.
Edition/Format:   Print bookView 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 in the library

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

Details

Genre/Form: Kongreß
Conference papers and proceedings
Swansea (1993)
Congresses
Document Type: Book
All Authors / Contributors: Egon Börger
ISBN: 0387582770 9780387582771 3540582770 9783540582779
OCLC Number: 246322631
Description: VIII, 336 Seiten : Diagramme.
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: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993. Egon Börger ... (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/246322631> # Computer science logic : selected papers
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "246322631" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4919499517#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/komplexitatstheorie> ; # Komplexitätstheorie
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://dewey.info/class/004.015113/> ;
    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/kongress> ; # Kongreß
    schema:about <http://experiment.worldcat.org/entity/work/data/4919499517#Topic/informatik> ; # Informatik
    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:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/91868953> ; # Egon Börger
    schema:datePublished "1994" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4919499517> ;
    schema:genre "Swansea (1993)" ;
    schema:genre "Conference papers and proceedings" ;
    schema:genre "Kongreß" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4919499517#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Computer science logic : selected papers" ;
    schema:productID "246322631" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/246322631#PublicationEvent/berlin_springer_1994> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4919499517#Agent/springer> ; # Springer
    schema:workExample <http://worldcat.org/isbn/9780387582771> ;
    schema:workExample <http://worldcat.org/isbn/9783540582779> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/246322631> ;
    .


Related Entities

<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/246322631> ; # Computer science logic : selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4919499517#Topic/komplexitatstheorie> # Komplexitätstheorie
    a schema:Intangible ;
    schema:name "Komplexitätstheorie" ;
    .

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

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

<http://viaf.org/viaf/91868953> # Egon Börger
    a schema:Person ;
    schema:familyName "Börger" ;
    schema:givenName "Egon" ;
    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" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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