Table of contents

  1. Front Matter
  2. Sten Agerholm, Ilya Beylin, Peter Dybjer
    Pages 17-32
  3. David Basin, Stefan Friedrich
    Pages 33-50
  4. Michael Butler, Thomas Långbacka
    Pages 93-108
  5. Solange Coupet-Grimal, Line Jakubiec
    Pages 125-139
  6. Bruno Dutertre
    Pages 141-156
  7. Dirk Eisenbiegler, Christian Blumenröhr, Ramayya Kumar
    Pages 157-172
  8. Andrew D. Gordon, Tom Melham
    Pages 173-190
  9. Mike Gordon
    Pages 191-201
  10. John Harrison
    Pages 203-220
  11. Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ron A. Olsson
    Pages 235-250
  12. Barbara Heyd, Pierre Crégut
    Pages 251-266
  13. Douglas J. Howe
    Pages 267-281
  14. Kolyang, T. Santen, B. Wolff
    Pages 283-298
  15. Linas Laibinis
    Pages 315-330
  16. Dieter Nazareth, Tobias Nipkow
    Pages 331-345
  17. Konrad Slind
    Pages 381-397
  18. Alan Smaill, Ian Green
    Pages 399-413
  19. Sofiène Tahar, Paul Curzon
    Pages 415-430
  20. Vincent Zammit
    Pages 431-446
  21. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996.
The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field.


Automatisches Schließen Extension Formale Methoden Höherstufige Logiken Logikentwurf Theorembeweisen automated reasoning formal methods higher-order logics logic design proof proving theorem proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61587-3
  • Online ISBN 978-3-540-70641-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site