Extensions to a generalization critic for inductive proof

DOI10.1007/3-540-61511-3_68zbMath1412.68238OpenAlexW2135869557MaRDI QIDQ4647499

Alan Bundy, Andrew Ireland

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/411724/Extensions_to_a_generalization_critic_for_inductive_proof.pdf

zbMATH Keywords

term structureautomated deductioninductive proofbasic criticextended critic

Mathematics Subject Classification ID

Uses Software

• CLAM
• Oyster

Cites Work

• Rippling: A heuristic for guiding inductive proofs
• Edinburgh LCF. A mechanized logic of computation
• Productive use of failure in inductive proof
• A calculus for and termination of rippling
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Extensions to a generalization critic for inductive proof