The following pages link to Normalization of Infinite Terms (Q3522036):
Displaying 7 items.
- Levels of undecidability in rewriting (Q627134) (← links)
- Highlights in infinitary rewriting and lambda calculus (Q1929230) (← links)
- Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
- Modularity of Convergence in Infinitary Rewriting (Q3636826) (← links)
- Proving Infinitary Normalization (Q3638246) (← links)
- Degrees of Undecidability in Term Rewriting (Q3644753) (← links)
- (Q4600775) (← links)
