The following pages link to Random Descent (Q5432348):
Displayed 7 items.
- Uncurrying for termination and complexity (Q352959) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- On randomised strategies in the \(\lambda \)-calculus (Q1989325) (← links)
- Minimality in a Linear Calculus with Iteration (Q2873683) (← links)
- Confluence by Decreasing Diagrams (Q3522026) (← links)
- (Q5089021) (← links)
- (Q5094133) (← links)