Pages that link to "Item:Q1853138"
From MaRDI portal
The following pages link to Hierarchical termination revisited. (Q1853138):
Displaying 6 items.
- On proving \(C_E\)-termination of rewriting by size-change termination (Q835016) (← links)
- Hierarchical termination revisited. (Q1853138) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Automating the dependency pair method (Q2486583) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
