Skip navigation
Skip navigation

Proceedings of the 11th International Conference, TPHOLs’98 Canberra, Australia, September–October 1998. Supplementary Proceedings

Theorem Proving in Higher Order Logics : Emerging Trends. International Conference (11th : 1998 : Canberra, Australia)


Mechanical theorem provers for higher order logics have been successfully applied in many areas including hardware verification and synthesis; verification of security and communications protocols; software verification, transformation and refinement; compiler construction; and concurrency. The higher order logics used to reason about these problems and the underlying theorem prover technology that support them are also active areas of research. The International Conference on Theorem Proving...[Show more]

CollectionsANU Research Publications
Date published: 1998
Type: Book


File Description SizeFormat Image
TR-CS-98-08.pdf1.09 MBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator