Pages that link to "Item:Q1404422"
From MaRDI portal
The following pages link to Incorporating decision procedures in implicit induction. (Q1404422):
Displaying 6 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- Automated Certification of Implicit Induction Proofs (Q3100200) (← links)
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029) (← links)
- On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs (Q5200103) (← links)
