Table of contents

  1. Front Matter
  2. Klaus Ambos-Spies, Jürgen Kämper
    Pages 1-13
  3. Christoph Beierle, Jochen Dörre, Udo Pletat, Claus Rollinger, Peter H. Schmitt, Rudi Studer
    Pages 14-51
  4. Erich Grädel
    Pages 118-137
  5. Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen
    Pages 148-165
  6. Martin Kummer
    Pages 166-186
  7. Lutz Priese
    Pages 272-287
  8. Ewald Speckenmeyer
    Pages 301-312
  9. Norbert Südkamp, Peter Kandzia
    Pages 313-328
  10. Rüdiger Schätz
    Pages 329-343
  11. Wolfgang Schönfeld, Werner Stephan
    Pages 344-356
  12. Vít Ochozka, Olga Štěpánková, Petr Štěpánek, Jan Hric
    Pages 357-371
  13. B. Voigt, I. Wegener
    Pages 372-383

About these proceedings


This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. 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 intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.


Komplexität Künstliche Intelligenz Verteilte Systeme artificial intelligence complexity computer intelligence logic programming

Bibliographic information

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