Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

CSL '89

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

Editors: Börger, Egon, Kleine Büning, Hans, Richter, Michael M. (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47137-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-52753-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (28 chapters)

Table of contents (28 chapters)
  • Honest polynomial-time degrees of elementary recursive sets

    Pages 1-15

    Ambos-Spies, Klaus (et al.)

  • On the verification of modules

    Pages 16-35

    Antoniou, G. (et al.)

  • A logical operational semantics of full Prolog

    Pages 36-64

    Börger, Egon

  • Set-theoretic reductions of Hilbert's tenth problem

    Pages 65-75

    Cantone, D. (et al.)

  • The complexity of subtheories of the existential linear theory of reals

    Pages 76-89

    Dahlhaus, Elias

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47137-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-52753-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
CSL '89
Book Subtitle
3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Editors
  • Egon Börger
  • Hans Kleine Büning
  • Michael M. Richter
Series Title
Lecture Notes in Computer Science
Series Volume
440
Copyright
1990
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47137-0
DOI
10.1007/3-540-52753-2
Softcover ISBN
978-3-540-52753-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 444
Topics