Table of contents

  1. Front Matter
  2. Sten Agerholm, Jacob Frost
    Pages 1-16
  3. Myla Archer, Constance Heitmeyer
    Pages 33-48
  4. Robert L. Constable
    Pages 87-87
  5. Marco Devillers, David Griffioen, Olaf Müller
    Pages 89-104
  6. Bruno Dutertre, Steve Schneider
    Pages 121-136
  7. Thomas Långbacka, Joakim von Wright
    Pages 183-197
  8. Takahisa Mohri
    Pages 199-214
  9. Wolfgang Naraschewski
    Pages 215-230
  10. Doron Peled
    Pages 231-241
  11. Martin Simons
    Pages 259-274
  12. Vincent Zammit
    Pages 323-337
  13. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.
The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.


Coq Formal Verification Hardware Verification Higher-Order Logics Isabelle Type Theory theorem proving

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-63379-2
  • Online ISBN 978-3-540-69526-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site