Case-Analysis for Rippling and Inductive Proof
From MaRDI portal
Publication:5747656
DOI10.1007/978-3-642-14052-5_21zbMath1291.68352OpenAlexW1541587797MaRDI QIDQ5747656
Lucas Dixon, Alan Bundy, Moa Johansson
Publication date: 14 September 2010
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1842/3717
Related Items (6)
Automating Induction with an SMT Solver ⋮ Theory exploration powered by deductive synthesis ⋮ TIP: Tons of Inductive Problems ⋮ Symbolic automatic relations and their applications to SMT and CHC solving ⋮ Model Finding for Recursive Functions in SMT ⋮ Removing algebraic data types from constrained Horn clauses using difference predicates
Uses Software
This page was built for publication: Case-Analysis for Rippling and Inductive Proof
