Appropriate lemmae discovery

DOI10.1016/j.ins.2003.06.012zbMath1049.03010OpenAlexW2075452789MaRDI QIDQ1827320

M. Demba, Khaled Bsaies

Publication date: 6 August 2004

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2003.06.012

zbMATH Keywords

Automated theorem provingImplicative formulaeLemmae discoveryMathematical inductionProgram synthesis

Mathematics Subject Classification ID

Cites Work

• Productive use of failure in inductive proof
• Lemma discovery in automating induction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Appropriate lemmae discovery