Induction proofs with partial functions
type: Item
instance of: scholarly article
title: Induction proofs with partial functions
zbMATH Open document ID: 0971.03016
DOI: 10.1023/A:1006408829523
author: Jürgen Giesl
published in: Journal of Automated Reasoning
publication date: 2001-02-18T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1565451
zbMATH Keywords: induction
zbMATH Keywords: automated theorem proving
zbMATH Keywords: partial functions
reviewed by: Nicolae Ţăndăreanu
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1565451