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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0026291
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Electronics
Telecommunications