A Package for Inductive Relation Definitions in HOL (1992)

View PDF

Download Links

by Thomas Melham
Venue:in Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications
Citations:30 - 2 self

Active Bibliography

unknown title – unknown authors
47 Reasoning with inductively defined relations in the HOL theorem prover – Juanito Camilleri, Tom Melham - 1992
Reasoning with Inductively Defined Relations in the HOL Theorem Prover – Juanito Camilleri Department, J. Camilleri, T. Melham, Reasoning Inductively Defined, Juanito Camilleri, Tom Melham - 1992
87 Nominal techniques in Isabelle/HOL – Christian Urban - 2005
59 Metatheory and Reflection in Theorem Proving: A Survey and Critique – John Harrison - 1995
47 Should Your Specification Language Be Typed? – Leslie Lamport , Lawrence C. Paulson - 1999
45 Set Theory for Verification: II - Induction and Recursion – Lawrence C. Paulson - 2000
45 Mechanizing Coinduction and Corecursion in Higher-order Logic – Lawrence C. Paulson - 1997
45 Inductive datatypes in HOL - lessons learned in Formal-Logic Engineering – Stefan Berghofer, Markus Wenzel - 1999