Table of contents

  1. Front Matter
  2. Ofer Arieli, Arnon Avron
    Pages 1-17
  3. Matthias Baaz, Alexander Leitsch
    Pages 18-33
  4. G. Barthe, P. -A. Mellies
    Pages 34-57
  5. Gian Luca Cattani, Glynn Winskel
    Pages 58-75
  6. Vincent Danos, Marco Pedicini, Laurent Regnier
    Pages 76-88
  7. Marko van Eekelen, Sjaak Smetsers, Rinus Plasmeijer
    Pages 106-128
  8. Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans Zantema
    Pages 150-166
  9. Neil Ghani
    Pages 182-197
  10. Henrik Imhof
    Pages 211-225
  11. Dexter Kozen, Frederick Smith
    Pages 244-259
  12. Martin Kreidler, Detlef Seese
    Pages 260-274
  13. Zhaohui Luo
    Pages 275-296
  14. Anders Malmström
    Pages 316-333

About these proceedings

Introduction

This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in Utrecht, The Netherlands, in September 1996.
The volume presents 26 revised full papers selected from a total of initially 75 papers submitted; also included are two refereed invited contributions. The volume addresses all current issues in the area of computer science logic research, and is thus a unique record of recent progress in the area.

Keywords

Computer Science logics Formal Logics Formale Logiken Informatiklogiken Programmierlogiken Programming Logics Term Rewriting Type Systems Typensysteme computer logic

Bibliographic information

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