A divergence critic

DOI10.1007/3-540-58156-1_2zbMath1433.68571OpenAlexW1500350508MaRDI QIDQ5210759

Toby Walsh

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-58156-1_2

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Productive use of failure in inductive proof ⋮ Using a generalisation critic to find bisimulations for coinductive proofs

Cites Work

• Solving divergence in Knuth--Bendix completion by enriching signatures
• Rippling: A heuristic for guiding inductive proofs
• Mechanizing structural induction. II: Strategies
• Implicit induction in conditional theories
• Productive use of failure in inductive proof
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A divergence critic