Higher Order Logic Theorem Proving and Its Applications

7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

  • Editors
  • Thomas F. Melham
  • Juanito Camilleri
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 859)

Table of contents

  1. Front Matter
  2. Sten Agerholm
    Pages 1-16
  3. Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson
    Pages 17-32
  4. Catia M. Angelo, Luc Claesen, Hugo De Man
    Pages 33-48
  5. J. -P. Bodeveix, M. Filali, P. Roche
    Pages 49-64
  6. Stephen H. Brackin
    Pages 65-80
  7. Juanito Camilleri, Vincent Zammit
    Pages 113-127
  8. Nick Chapman, Simon Finn, Michael P. Fourman
    Pages 128-143
  9. Thomas Forster
    Pages 193-204
  10. Brian T. Graham
    Pages 221-234
  11. Keith Hanna
    Pages 235-253

About these proceedings


This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.


Formal Methods Formale Methoden HOL Systems HOL-System Higher Order Logic Mathematical Logic logic proving theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-58450-1
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58450-6
  • Online ISBN 978-3-540-48803-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors