Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1990

CSL '89

3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Editors:

  1. Egon Börger
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans Kleine Büning
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Michael M. Richter
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 440)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (28 papers)

  1. Front Matter

    PDF

  2. Honest polynomial-time degrees of elementary recursive sets

    • Klaus Ambos-Spies, Dongping Yang
    Pages 1-15

  3. On the verification of modules

    • G. Antoniou, V. Sperschneider
    Pages 16-35

  5. Set-theoretic reductions of Hilbert's tenth problem

    • D. Cantone, V. Cutello, A. Policriti
    Pages 65-75

  7. On test classes for universal theories

    • Bernd I. Dahn
    Pages 90-97

  9. Effectively given information systems and domains

    • Manfred Droste, Rüdiger Göbel
    Pages 116-142

  12. Algebraic operational semantics and Occam

    • Yuri Gurevich, Lawrence S. Moss
    Pages 176-192

  13. Propositional provability and models of weak arithmetic

    • Jan Krajíček, Pavel Pudlák
    Pages 193-210

  15. Deciding Horn classes by hyperresolution

    • Alexander Leitsch
    Pages 225-241

  16. Ω-branching programs of bounded width

    • Christoph Meinel
    Pages 242-253

  18. Reducibility of monotone formulas to μ-formulas

    • Daniele Mundici
    Pages 267-270
Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation