Automated Mathematical Induction
From MaRDI portal
Publication:4849648
DOI10.1093/logcom/5.5.631zbMath0832.68095OpenAlexW1987150355MaRDI QIDQ4849648
Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch
Publication date: 20 February 1996
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/94ea3100907cc2f50b7a37c480f2ac4918210b4d
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Formal design and verification of operational transformation algorithms for copies convergence ⋮ Sound generalizations in mathematical induction ⋮ Implicit induction in conditional theories ⋮ Test sets for the universal and existential closure of regular tree languages. ⋮ Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities ⋮ Using induction and rewriting to verify and complete parameterized specifications ⋮ Mechanically certifying formula-based Noetherian induction reasoning ⋮ Correctness of Context-Moving Transformations for Term Rewriting Systems ⋮ A general framework to build contextual cover set induction provers ⋮ On notions of inductive validity for first-order equational clauses ⋮ Automated Certification of Implicit Induction Proofs ⋮ Improving rewriting induction approach for proving ground confluence
This page was built for publication: Automated Mathematical Induction
