Advertisement

Table of contents

  1. Front Matter
  2. Matthias Baaz, Alexander Leitsch, Richard Zach
    Pages 1-15
  3. Gilles Barthe, Herman Geuvers
    Pages 36-51
  4. Bernhard Beckert, Reiner Hähnle
    Pages 52-63
  5. Bernhard Beckert, Joachim Posegga
    Pages 64-85
  6. Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke
    Pages 86-105
  7. Jason Brown, Lincoln A. Wallen
    Pages 106-129
  8. Ricardo Caferra, Nicolas Peltier
    Pages 130-144
  9. Anuj Dawar, Steven Lindell, Scott Weinstein
    Pages 161-177
  10. Anatoli Degtyarev, Andrei Voronkov
    Pages 178-190
  11. Giuseppe Del Castillo, Igor Đurđanović, Uwe Glässer
    Pages 191-214
  12. Roberto Di Cosmo, Delia Kesner
    Pages 215-232
  13. Manfred Droste, Dietrich Kuske
    Pages 233-251
  14. Stéphane Grumbach, Zoé Lacroix, Steven Lindell
    Pages 252-265
  15. Ryu Hasegawa
    Pages 291-307
  16. Alain Heuerding, Stefan Schwendimann
    Pages 308-319
  17. Anna Ingólfsdóttir, Andrea Schalk
    Pages 335-361
  18. Jan Johannsen
    Pages 362-367
  19. Martin Kummer, Matthias Ott
    Pages 368-387
  20. Albert Rubio
    Pages 452-467
  21. Laurent Vigneron
    Pages 468-485
  22. Back Matter

About these proceedings

Introduction

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.
The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Keywords

computer formal language logic proof theory proving selection theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61377-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61377-0
  • Online ISBN 978-3-540-68507-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications