Now showing items 1-1 of 1

  • Mechanizing Structural Induction 

    Aubin, Raymond (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 ...