skip to content
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings Preview this item
ClosePreview this item
Checking...

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Author: E Börger; H Kleine Büning; Michael M Richter
Publisher: Berlin : Springer-Verlag, ©1990.
Series: Lecture notes in computer science, 440.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic  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
Congressen (vorm)
Congresses
Additional Physical Format: Print version:
CSL '89
(NL-LeOCL)187471673
(OCoLC)21902084
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: E Börger; H Kleine Büning; Michael M Richter
ISBN: 9783540471370 3540471375
OCLC Number: 150396877
Description: 1 online resource (vi, 437 pages)
Contents: Honest polynomial-time degrees of elementary recursive sets.- On the verification of modules.- A logical operational semantics of full Prolog.- Set-theoretic reductions of Hilbert's tenth problem.- The complexity of subtheories of the existential linear theory of reals.- On test classes for universal theories.- Generalizing allowedness while retaining completeness of SLDNF-resolution.- Effectively given information systems and domains.- Davis-Putnam resolution versus unrestricted resolution.- On logical descriptions of some concepts in structural complexity theory.- Algebraic operational semantics and Occam.- Propositional provability and models of weak arithmetic.- Polymorphic recursion and semi-unification.- Deciding Horn classes by hyperresolution.- ?-branching programs of bounded width.- A predicate calculus with control of derivations.- Reducibility of monotone formulas to ?-formulas.- New ways for developing proof theories for first-order multi modal logics.- On the representation of data in lambda-calculus.- A streamlined temporal completeness theorem.- A concurrent branching time temporal logic.- Semantic for abstract fairness using metric spaces.- On the average time complexity of set partitioning.- A direct proof for the completeness of SLD-resolution.- A quantifier-free completion of logic programs.- Stratification of definite clause programs and of general logic programs.- The semantics of disjunctive deductive databases.- Sequential representation of primitive recursive functions, and complexity classes.
Series Title: Lecture notes in computer science, 440.
Responsibility: E. Börger, H. Kleine Büning, M.M. Richter (eds.).

Abstract:

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. More specifically, the papers deal  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/150396877> # CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "150396877" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3768513015#Topic/logica> ; # Logica
   schema:about <http://dewey.info/class/004.015113/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3768513015#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/3768513015#Topic/programmeertalen> ; # Programmeertalen
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/3768513015#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3768513015#Meeting/workshop_on_computer_science_logic_3rd_1989_kaiserslautern_germany> ; # Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany)
   schema:datePublished "1990" ;
   schema:description "This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science, e.g. in complexity, data base theory, logic programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field."@en ;
   schema:editor <http://viaf.org/viaf/85215610> ; # Michael M. Richter
   schema:editor <http://viaf.org/viaf/91868953> ; # Egon Börger
   schema:editor <http://viaf.org/viaf/109885381> ; # Hans Kleine Büning
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3768513015> ;
   schema:genre "Congressen (vorm)"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/21902084> ;
   schema:name "CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings"@en ;
   schema:productID "150396877" ;
   schema:url <http://dx.doi.org/10.1007/3-540-52753-2> ;
   schema:workExample <http://worldcat.org/isbn/9783540471370> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/150396877> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3768513015#Meeting/workshop_on_computer_science_logic_3rd_1989_kaiserslautern_germany> # Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3768513015#Place/kaiserslautern_germany> ; # Kaiserslautern, Germany)
   schema:name "Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768513015#Place/kaiserslautern_germany> # Kaiserslautern, Germany)
    a schema:Place ;
   schema:name "Kaiserslautern, Germany)" ;
    .

<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/872460> # Computer science--Mathematics
    a schema:Intangible ;
   schema:name "Computer science--Mathematics"@en ;
    .

<http://viaf.org/viaf/109885381> # Hans Kleine Büning
    a schema:Person ;
   schema:familyName "Kleine Büning" ;
   schema:givenName "Hans" ;
   schema:givenName "H." ;
   schema:name "Hans Kleine Büning" ;
    .

<http://viaf.org/viaf/85215610> # Michael M. Richter
    a schema:Person ;
   schema:birthDate "1938" ;
   schema:familyName "Richter" ;
   schema:givenName "Michael M." ;
   schema:name "Michael M. Richter" ;
    .

<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/9783540471370>
    a schema:ProductModel ;
   schema:isbn "3540471375" ;
   schema:isbn "9783540471370" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/150396877> ; # CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
   schema:issn "1611-3349" ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/oclc/21902084>
    a schema:CreativeWork ;
   rdfs:label "CSL '89" ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/150396877> ; # CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/150396877>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/150396877> ; # CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
   schema:dateModified "2018-11-07" ;
   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.