Twenty Years of Theorem Proving for HOLs Past, Present and Future

DOI10.1007/978-3-540-71067-7_1zbMath1165.68459OpenAlexW1606397589MaRDI QIDQ3543642

Mike Gordon

Publication date: 4 December 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71067-7_1

Mathematics Subject Classification ID

Related Items (3)

A sound and complete proof system for a unified temporal logic ⋮ Index set expressions can represent temporal logic formulas ⋮ Some Fixed-Point Issues in PPTL

Uses Software

• PVS
• HOL
• ProofPower
• HOL Light
• Nuprl
• Unnamed Item
• Unnamed Item

This page was built for publication: Twenty Years of Theorem Proving for HOLs Past, Present and Future