Pages that link to "Item:Q4577817"
From MaRDI portal
The following pages link to Size-based termination of higher-order rewriting (Q4577817):
Displaying 8 items.
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Size of context in regenerative IL systems (Q1823001) (← links)
- On the Relation between Sized-Types Based Termination and Semantic Labelling (Q3644746) (← links)
- (Q5089009) (← links)
- Semi-continuous Sized Types and Termination (Q5900207) (← links)
- Rewriting Techniques and Applications (Q5901559) (← links)
- Rewriting Techniques and Applications (Q5901560) (← links)
- (Q6079229) (← links)