Table of contents

  1. Front Matter
  2. Stefan Arnborg, Andrzej Proskurowski, Detlef Seese
    Pages 1-16
  3. Andreas Blass, Yuri Gurevich
    Pages 17-30
  4. E. Börger, Peter H. Schmitt
    Pages 67-79
  5. D. Cantone, V. Cutello, J. T. Schwartz
    Pages 95-109
  6. Andreas Flögel, Marek Karpinski, Hans Kleine Büning
    Pages 145-155
  7. Andreas Goerdt
    Pages 174-194
  8. Etienne Grandjean, J. M. Robson
    Pages 195-233
  9. Ulrich Hertrampf, Klaus Wagner
    Pages 261-273
  10. Zhisheng Huang
    Pages 274-288
  11. Pavel Pudlák
    Pages 308-317

About these proceedings

Introduction

The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, October 1-5, 1990. It was the fourth in a series of worskhops, following CSL '89 at the University of Kaiserslautern (see LNCS 440), CSL '88 at the University of Duisberg (see LNCS 385), and CSL '87 at the University of Karlsruhe (see LNCS 329). This volume contains 24 papers, chosen by means of a review procedure from the 35 papers presented at the workshop, some of which were invited and some selected from a total of 89 submissions. The papers cover a wide range of topics arising from the applications of logic to computer science.

Keywords

Artificial Intelligence Computational Complexity Formal Languages Formale Sprachen Komplexität Künstliche Intelligenz Logik Programmiersprachen Programming Languages computer computer science logic

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-54487-9
  • Copyright Information Springer-Verlag 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-54487-6
  • Online ISBN 978-3-540-38401-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book