Pages that link to "Item:Q5950934"
From MaRDI portal
The following pages link to A general framework to build contextual cover set induction provers (Q5950934):
Displaying 10 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Incorporating decision procedures in implicit induction. (Q1404422) (← links)
- \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} (Q2119984) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Automated Certification of Implicit Induction Proofs (Q3100200) (← links)
- An Undo Framework for P2P Collaborative Editing (Q3407347) (← links)
- Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities (Q3522029) (← links)
- Automated Induction with Constrained Tree Automata (Q3541728) (← links)
- (Q5227521) (← links)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)
