The following pages link to (Q4264708):
Displayed 7 items.
- The use of embeddings to provide a clean separation of term and annotation for higher order rippling (Q540694) (← links)
- Rippling: A heuristic for guiding inductive proofs (Q685548) (← links)
- A calculus for and termination of rippling (Q1915137) (← links)
- A divergence critic (Q5210759) (← links)
- Termination orderings for rippling (Q5210791) (← links)
- Combining symbolic computation and theorem proving: Some problems of Ramanujan (Q5210811) (← links)
- A colored version of the λ-calculus (Q5234713) (← links)