Induction proofs with partial functions

DOI10.1023/A:1006408829523zbMath0971.03016MaRDI QIDQ1595923

Jürgen Giesl

Publication date: 18 February 2001

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

partial functionsinductionautomated theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (4)

A two-valued logic for properties of strict functional programs allowing partial functions ⋮ Partiality and recursion in interactive theorem provers – an overview ⋮ Partial and nested recursive function definitions in higher-order logic ⋮ Correctness of Context-Moving Transformations for Term Rewriting Systems

This page was built for publication: Induction proofs with partial functions