Automated Certification of Implicit Induction Proofs
From MaRDI portal
Publication:3100200
DOI10.1007/978-3-642-25379-9_5zbMath1350.68245OpenAlexW2126274963MaRDI QIDQ3100200
Vincent Demange, Sorin Stratulat
Publication date: 22 November 2011
Published in: Certified Programs and Proofs (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-25379-9_5
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Inductive proof search modulo
- Incorporating decision procedures in implicit induction.
- Mechanical verification of an ideal incremental ABR conformance algorithm
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities
- Certification of Automated Termination Proofs
- Term Rewriting and All That
- Automated Mathematical Induction
- Automated Reasoning with Analytic Tableaux and Related Methods
- A general framework to build contextual cover set induction provers
This page was built for publication: Automated Certification of Implicit Induction Proofs
