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
  15. Wolfgang Merkle
    Pages 349-368
  16. Anna Philippou, David Walker
    Pages 385-398
  17. Luca Roversi
    Pages 399-413
  18. Rick Statman
    Pages 446-459
  19. Back Matter

About these proceedings


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.


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment