Pages that link to "Item:Q1350349"
From MaRDI portal
The following pages link to Modular proofs for completeness of hierarchical term rewriting systems (Q1350349):
Displaying 15 items.
- On proving \(C_E\)-termination of rewriting by size-change termination (Q835016) (← links)
- Modular aspects of term graph rewriting (Q1275016) (← links)
- Simple termination of rewrite systems (Q1392146) (← links)
- Hierarchical termination revisited. (Q1853138) (← links)
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Termination of term rewriting using dependency pairs (Q1978641) (← links)
- Modular and incremental automated termination proofs (Q2583289) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- Transforming termination by self-labelling (Q4647535) (← links)
- Termination of constructor systems (Q5055852) (← links)
- On proving termination by innermost termination (Q5055854) (← links)
- Modularity of termination in term graph rewriting (Q5055863) (← links)
- (Q5094148) (← links)
