Induction proofs with partial functions (Q1595923)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Induction proofs with partial functions |
scientific article; zbMATH DE number 1565451
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Induction proofs with partial functions |
scientific article; zbMATH DE number 1565451 |
Statements
Induction proofs with partial functions (English)
0 references
18 February 2001
0 references
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.
0 references
induction
0 references
automated theorem proving
0 references
partial functions
0 references
