Pages that link to "Item:Q1199539"
From MaRDI portal
The following pages link to Modularity of simple termination of term rewriting systems with shared constructors (Q1199539):
Displaying 4 items.
- On proving \(C_E\)-termination of rewriting by size-change termination (Q835016) (← links)
- Elimination transformations for associative-commutative rewriting systems (Q877834) (← links)
- More problems in rewriting (Q5055812) (← links)
- Combination techniques for non-disjoint equational theories (Q5210778) (← links)
