Mechanizing structural induction
This thesis proposes improved methods for the automatic generation of proofs by structural induction in a formal system. The main application considered is proving properties of programs. The theorem-proving problem divides into two parts: (1) a formal system, and (2) proof generating methods. A for...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1976
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253736 |