Induction proofs with partial functions

DOI10.1023/A:1006408829523MaRDI QIDQ1595923zbMATH OpenFDO

Authors Jürgen Giesl

Publication date 18 February 2001

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

Full work available at URL https://doi.org/10.1023/A:1006408829523

zbMATH Keywords

inductionautomated theorem provingpartial functions

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 3880144
• scientific article; zbMATH DE number 4074542
• scientific article; zbMATH DE number 4102511
• The automation of proof by mathematical induction
• Partial Recursive Functions in Higher-Order Logic

Cited in

(13)

• scientific article; zbMATH DE number 3986670 (Why is no real title available?)
• Rule-based induction
• scientific article; zbMATH DE number 4062640 (Why is no real title available?)
• scientific article; zbMATH DE number 2043540 (Why is no real title available?)
• Correctness of Context-Moving Transformations for Term Rewriting Systems
• Partiality and recursion in interactive theorem provers -- an overview
• scientific article; zbMATH DE number 4074542 (Why is no real title available?)
• A two-valued logic for properties of strict functional programs allowing partial functions
• scientific article; zbMATH DE number 1405455 (Why is no real title available?)
• scientific article; zbMATH DE number 1696825 (Why is no real title available?)
• Partial and nested recursive function definitions in higher-order logic
• Reasoning about incompletely defined programs
• scientific article; zbMATH DE number 3880144 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1595923)