Rule-based induction

DOI10.1007/BF01384232MaRDI QIDQ1334895zbMATH OpenFDO

Authors Holger Busch

Publication date 26 September 1994

Published in Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

software verification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4776
• Automated Mathematical Induction
• The automation of proof by mathematical induction
• Induction proofs with partial functions
• scientific article; zbMATH DE number 1082080

Cites work

• scientific article; zbMATH DE number 3991418 (Why is no real title available?)
• scientific article; zbMATH DE number 42964 (Why is no real title available?)
• scientific article; zbMATH DE number 139818 (Why is no real title available?)
• scientific article; zbMATH DE number 1324445 (Why is no real title available?)
• Edinburgh LCF. A mechanized logic of computation
• Rippling: A heuristic for guiding inductive proofs

Cited in

(4)

• Proving liveness of fair transition systems
• scientific article; zbMATH DE number 1696742 (Why is no real title available?)
• Inductive Logic Programming
• Induction of inference rules for expert systems

Describes a project that uses

Uses Software

• Oyster

This page was built for publication: Rule-based induction

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