First-order automation for higher-order-logic theorem proving
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Rule-based inductionFormal Methods in System Design, 1994
- Boyer-Moore Automation for the HOL SystemPublished by Elsevier ,1993
- Mechanizing Programming Logics in Higher Order LogicPublished by Springer Nature ,1989
- Abstraction Mechanisms for Hardware VerificationPublished by Springer Nature ,1988
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986