Combining Superposition and Induction: A Practical Realization
From MaRDI portal
Publication:2849478
DOI10.1007/978-3-642-40885-4_2zbMath1398.68483OpenAlexW85997518MaRDI QIDQ2849478
Nicolas Peltier, Abdelkader Kersani
Publication date: 20 September 2013
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40885-4_2
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
A decision procedure for (co)datatypes in SMT solvers ⋮ Symbol elimination and applications to parametric entailment problems ⋮ A Decision Procedure for (Co)datatypes in SMT Solvers ⋮ Getting saturated with induction ⋮ Combining induction and saturation-based theorem proving ⋮ Induction in saturation-based proof search ⋮ Unnamed Item ⋮ Unprovability results for clause set cycles ⋮ Induction and Skolemization in saturation theorem proving
Uses Software
This page was built for publication: Combining Superposition and Induction: A Practical Realization
