Unification-Based Induction
- 1 January 1993
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Computing induction axiomsPublished by Springer Nature ,2005
- A two-level formal verification methodology using HOL and COSMOSPublished by Springer Nature ,1992
- Generic Specification of Digital HardwarePublished by Springer Nature ,1991
- Guiding induction proofsPublished by Springer Nature ,1990
- The OYSTER-CLAM systemPublished by Springer Nature ,1990