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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-60275-5
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Electronics
Telecommunications