The following pages link to Finite family developments (Q4594237):
Displayed 7 items.
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- ON THE TERMINATION OF RUSSELL’S DESCRIPTION ELIMINATION ALGORITHM (Q3096819) (← links)
- (Q5111304) (← links)
- Towards a Systematic Method for Proving Termination of Graph Transformation Systems (Q5403457) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)