Browsing Informatics, School of by Sponsor "Conseil national de recherches du Canada"
Now showing items 1-1 of 1
(The University of Edinburgh, 1976)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 ...