Theorem Proving in Higher Order Logics

• 1 January 1997
• book
• Published by Springer Nature
• https://doi.org/10.1007/bfb0028381

Abstract

Keywords

• COQ
• FORMAL VERIFICATION
• HARDWARE VERIFICATION
• HIGHER-ORDER LOGICS
• ISABELLE
• TYPE THEORY
• THEOREM PROVING