The following pages link to Maria C. F. Ferreira (Q1290509):
Displaying 11 items.
- \(\lambda\)-calculi with explicit substitutions preserving strong normalization (Q1290510) (← links)
- (Q1912705) (redirect page) (← links)
- Total termination of term rewriting (Q1912706) (← links)
- λ-calculi with explicit substitutions and composition which preserve β-strong normalization (Q2956728) (← links)
- (Q4537515) (← links)
- (Q4705617) (← links)
- (Q4938610) (← links)
- Soliton-cuspon interaction for the Camassa-Holm equation (Q4947926) (← links)
- Total termination of term rewriting (Q5055796) (← links)
- Dummy elimination in equational rewriting (Q5055853) (← links)
- Dummy elimination: Making termination easier (Q5055895) (← links)
