Pages that link to "Item:Q5055740"
From MaRDI portal
The following pages link to Termination for the direct sum of left-linear term rewriting systems (Q5055740):
Displaying 11 items.
- Adding algebraic rewriting to the untyped lambda calculus (Q1207945) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (extended abstract) (Q5055747) (← links)
- Completeness of combinations of constructor systems (Q5055759) (← links)
- More problems in rewriting (Q5055812) (← links)
- Modularity of completeness revisited (Q5055813) (← links)
- On proving termination by innermost termination (Q5055854) (← links)
- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems (Q5096744) (← links)
- Completeness of combinations of conditional constructor systems (Q5881177) (← links)
- Sufficient conditions for modular termination of conditional term rewriting systems (Q5881180) (← links)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)
- Implementing term rewriting by graph reduction: Termination of combined systems (Q5881286) (← links)
