Table of contents

  1. Front Matter
  2. Klaus Ambos-Spies, Dongping Yang
    Pages 1-15
  3. G. Antoniou, V. Sperschneider
    Pages 16-35
  4. D. Cantone, V. Cutello, A. Policriti
    Pages 65-75
  5. Bernd I. Dahn
    Pages 90-97
  6. Manfred Droste, Rüdiger Göbel
    Pages 116-142
  7. Yuri Gurevich, Lawrence S. Moss
    Pages 176-192
  8. Jan Krajíček, Pavel Pudlák
    Pages 193-210
  9. Alexander Leitsch
    Pages 225-241
  10. Christoph Meinel
    Pages 242-253
  11. Daniele Mundici
    Pages 267-270
  12. Ana Pasztor, Ildiko Sain
    Pages 322-336
  13. Wojciech Penczek
    Pages 337-354
  14. Lutz Priese, Doris Nolte
    Pages 355-368
  15. Ewald Speckenmeyer, Rainer Kemp
    Pages 369-381
  16. Robert F. Stärk
    Pages 384-395

About these proceedings


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.


Komplexität Künstliche Intelligenz Logik Sprachen artificial intelligence complexity computer science languages logic programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52753-4
  • Online ISBN 978-3-540-47137-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site