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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-52753-2
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace