Higher Order Logic Theorem Proving and Its Applications
7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Editors: Melham, Thomas F., Camilleri, Juanito (Eds.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (30 chapters)
-
-
LCF examples in HOL
Pages 1-16
-
A graphical tool for proving UNITY progress
Pages 17-32
-
Reasoning about a class of linear systems of equations in HOL
Pages 33-48
-
Towards a HOL theory of memory
Pages 49-64
-
Providing tractable security analyses in HOL
Pages 65-80
-
Table of contents (30 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Higher Order Logic Theorem Proving and Its Applications
- Book Subtitle
- 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
- Editors
-
- Thomas F. Melham
- Juanito Camilleri
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 859
- Copyright
- 1994
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-48803-3
- DOI
- 10.1007/3-540-58450-1
- Softcover ISBN
- 978-3-540-58450-6
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- XI, 477
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.
