Skip to main content

Reasoning with Inductively Defined Relations in the HOL Theorem Prover

Juanito Camilleri and Tom Melham

Institution
Computer Laboratory‚ University of Cambridge
Month
August
Number
265
Year
1992