scientific article; zbMATH DE number 1341622

MaRDI QIDQ4263171zbMATH OpenFDO

Authors Raul Lopes

Publication date 22 September 1999

zbMATH Keywords

proof search strategies

Mathematics Subject Classification ID

Recommendations

• AUTO2, a saturation-based heuristic prover for higher-order logic
• Automatic Proof Generation in Kleene Algebra
• Automated synthesis of induction axioms for programs with second-order recursion
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• scientific article; zbMATH DE number 6938205
• Automatic theorem proving. II
• Automating Inductive Proofs Using Theory Exploration
• scientific article; zbMATH DE number 1765677
• Automatic Learning of Proof Methods in Proof Planning

This page was built for publication:

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