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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/BFb0105392
  • Copyright Information Springer-Verlag 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
  • About this book