scientific article; zbMATH DE number 1341622

zbMATH Open0941.68124MaRDI QIDQ4263171FDOQ4263171

Authors: Raul Lopes 

Publication date: 22 September 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

proof search strategies

Mathematics Subject Classification ID

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)