Table of contents

  1. Front Matter
  2. Otmane Aït Mohamed
    Pages 1-16
  3. Sten Agerholm, Mike Gordon
    Pages 32-45
  4. Paul E. Black, Phillip J. Windley
    Pages 46-57
  5. J. -P. Bodeveix, M. Filali
    Pages 58-74
  6. Richard J. Boulton
    Pages 75-89
  7. Stephen H. Brackin
    Pages 90-105
  8. Graham Collins, Donald Syme
    Pages 122-137
  9. Paul Curzon
    Pages 138-153
  10. Dirk Eisenbiegler, Ramayya Kumar
    Pages 154-169
  11. Elsa L. Gunter, Leonid Libkin
    Pages 170-185
  12. John Harrison
    Pages 186-199
  13. Sara Kalvala
    Pages 214-228
  14. Jang Dae Kim, Shiu-Kai Chin
    Pages 229-244
  15. Thomas Långbacka, Rimvydas Rukšėnas, Joakim von Wright
    Pages 245-260
  16. Ralf Reetz
    Pages 277-292
  17. Franz Regensburger
    Pages 293-307
  18. Tom Schubert, Sarah Mocas
    Pages 308-323
  19. Morten Welinder
    Pages 340-352
  20. Wai Wong
    Pages 353-368
  21. Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda
    Pages 369-384
  22. Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl Levitt, Ron A. Olsson
    Pages 385-400
  23. Back Matter

About these proceedings


This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.
The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems.


Circuit Design Higher Order Logic (HOL) Mathematical Logic Program Verification Programmierverifikation logic proving theorem proving

Bibliographic information

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