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 HUG 1994

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
  12. Savi Maharaj, Elsa Gunter
    Pages 346-361
  13. Ralf Reetz, Thomas Kropf
    Pages 378-390
  14. Klaus Schneider, Ramayya Kumar, Thomas Kropf
    Pages 391-406
  15. Konrad Slind
    Pages 407-423
  16. Sofiène Tahar, Ramayya Kumar
    Pages 424-439
  17. J. von Wright
    Pages 456-470
  18. Back Matter

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
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site