Induction proofs with partial functions
The author presents a method for automated induction proofs about partial functions. The method is obtained by restricting the rules usually applied in automated theorem proving. A new calculus for induction proofs with partial functions is developed. Several applications requiring reasoning about partial functions are discussed.
scientific article; zbMATH DE number 1565451