Pages that link to "Item:Q3586062"
From MaRDI portal
The following pages link to Signature Extensions Preserve Termination (Q3586062):
Displaying 7 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- Uncurrying for termination and complexity (Q352959) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- Certified equational reasoning via ordered completion (Q2305436) (← links)
- Generalized and Formalized Uncurrying (Q3172898) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
