Pages that link to "Item:Q1349693"
From MaRDI portal
The following pages link to On the modularity of termination of term rewriting systems (Q1349693):
Displaying 17 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- On proving \(C_E\)-termination of rewriting by size-change termination (Q835016) (← links)
- Bubbles in modularity (Q1127335) (← links)
- Simple termination of rewrite systems (Q1392146) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- From diagrammatic confluence to modularity (Q1929228) (← links)
- Modular termination of prefix-constrained term rewrite systems (Q2059889) (← links)
- Modular and incremental automated termination proofs (Q2583289) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting (Q2945713) (← links)
- Harnessing First Order Termination Provers Using Higher Order Dependency Pairs (Q3172889) (← links)
- The theory of vaccines (Q4571995) (← links)
- On proving termination by innermost termination (Q5055854) (← links)
- (Q5094148) (← links)
- On the specification of visual languages: multisets as first-class citizens (Q6560194) (← links)
