skip to content
Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings Preview this item
ClosePreview this item
Checking...

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings

Author: E Börger
Publisher: Berlin ; New York : Springer-Verlag, ©1992.
Series: Lecture notes in computer science, 626.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

The results of a workshop, this volume contains a series of essays on a variety of logical topics in computer science, including abstract data types, bounded theories, complexity results,  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
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: E Börger
ISBN: 354055789X 9783540557890 9780387557892 038755789X
OCLC Number: 70314577
Description: viii, 428 pages ; 25 cm.
Contents: The expressive power of transitive closure and 2-way multihead automata.- Correctness proof for the WAM with types.- Model checking of persistent Petri nets.- Provability in TBLL: A decision procedure.- How to implement first order formulas in local memory machine models.- A new approach to abstract data types II computation on ADTs as ordinary computation.- A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation.- On bounded theories.- The cutting plane proof system with bounded degree of falsity.- Denotational versus declarative semantics for functional programming.- On transitive closure logic.- Some aspects of the probabilistic behavior of variants of resolution.- Safe queries in relational databases with functions.- Logical inference and polyhedral projection.- Stable logic.- A transformational methodology for proving termination of logic programs.- Plausibility logic.- Towards Kleene Algebra with recursion.- Equational specification of abstract types and combinators.- Normal forms in infinite-valued logic: The case of one variable.- A fragment of first order logic adequate for observation equivalence.- Ordinal processes in comparative concurrency semantics.- Logical semantics of modularisation.- A cut-elimination procedure designed for evaluating proofs as programs.- Minimal from classical proofs.- Quantifier hierarchies over word relations.- Complexity results for the default- and the autoepistemic logic.- On Completeness for NP via projection translations.- Control of ?-automata, Church's problem, and the emptiness problem for tree ?-automata.- Comparing the theory of representations and constructive mathematics.- Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic.- On completeness of program synthesis systems.- Proving termination for term rewriting systems.
Series Title: Lecture notes in computer science, 626.
Responsibility: E. Börger [and others] (eds.).
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/70314577> # Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "70314577" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4776524749#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/4776524749#Topic/logic_symbolic_and_mathematical_congresses> ; # Logic, Symbolic and mathematical--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/4776524749#Topic/logik> ; # Logik
   schema:about <http://experiment.worldcat.org/entity/work/data/4776524749#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/4776524749#Topic/computer_science> ; # Computer science
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/4776524749#Place/bern_1991> ; # Bern <1991>
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/4776524749#Topic/informatik> ; # Informatik
   schema:about <http://dewey.info/class/004.015113/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/4776524749#Topic/computer_science_congresses> ; # Computer science--Congresses
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/91868953> ; # Egon Börger
   schema:copyrightYear "1992" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/4776524749#Meeting/workshop_on_computer_science_logic_5th_1991_bern_switzerland> ; # Workshop on Computer Science Logic (5th : 1991 : Bern, Switzerland)
   schema:datePublished "1991" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4776524749> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4776524749#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings"@en ;
   schema:productID "70314577" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/70314577#PublicationEvent/berlin_new_york_springer_verlag_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4776524749#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.gbv.de/dms/bowker/toc/9780387557892.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9780387557892> ;
   schema:workExample <http://worldcat.org/isbn/9783540557890> ;
   umbel:isLike <http://d-nb.info/921225687> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/70314577> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/4776524749#Meeting/workshop_on_computer_science_logic_5th_1991_bern_switzerland> # Workshop on Computer Science Logic (5th : 1991 : Bern, Switzerland)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/4776524749#Place/bern_switzerland> ; # Bern, Switzerland)
   schema:name "Workshop on Computer Science Logic (5th : 1991 : Bern, Switzerland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4776524749#Place/bern_switzerland> # Bern, Switzerland)
    a schema:Place ;
   schema:name "Bern, Switzerland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4776524749#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/70314577> ; # Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science. ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4776524749#Topic/computer_science_congresses> # Computer science--Congresses
    a schema:Intangible ;
   schema:name "Computer science--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4776524749#Topic/logic_symbolic_and_mathematical_congresses> # Logic, Symbolic and mathematical--Congresses
    a schema:Intangible ;
   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/9780387557892>
    a schema:ProductModel ;
   schema:isbn "038755789X" ;
   schema:isbn "9780387557892" ;
    .

<http://worldcat.org/isbn/9783540557890>
    a schema:ProductModel ;
   schema:isbn "354055789X" ;
   schema:isbn "9783540557890" ;
    .

<http://www.worldcat.org/title/-/oclc/70314577>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/70314577> ; # Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings
   schema:dateModified "2018-11-10" ;
   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.