Pages that link to "Item:Q5210791"
From MaRDI portal
The following pages link to Termination orderings for rippling (Q5210791):
Displaying 5 items.
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- Termination orders for 3-polygraphs (Q817890) (← links)
- A calculus for and termination of rippling (Q1915137) (← links)
- Theorem Proving in Higher Order Logics (Q5464664) (← links)
- Higher-order annotated terms for proof search (Q6567727) (← links)