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
  12. Solomampionona Ranaivoson
    Pages 318-339
  13. Cecylia M. Rauszer
    Pages 340-353
  14. Heribert Vollmer
    Pages 389-399
  15. Back Matter

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking