Rule-based induction

DOI10.1007/BF01384232zbMATH Open0810.68114MaRDI QIDQ1334895FDOQ1334895

Authors: Holger Busch 

Publication date: 26 September 1994

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

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

zbMATH Keywords

software verification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Edinburgh LCF. A mechanized logic of computation
• Title not available (Why is that?)
• Rippling: A heuristic for guiding inductive proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Proving liveness of fair transition systems
• Title not available (Why is that?)
• Inductive Logic Programming
• Induction of inference rules for expert systems

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)