The following pages link to (Q4490728):
Displaying 15 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- Modularity in noncopying term rewriting (Q673186) (← links)
- Modular aspects of term graph rewriting (Q1275016) (← links)
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Simple termination of rewrite systems (Q1392146) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- Hierarchical termination revisited. (Q1853138) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Modular and incremental automated termination proofs (Q2583289) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Extension orderings (Q4645205) (← links)
- Transforming termination by self-labelling (Q4647535) (← links)
- Modularity of termination in term graph rewriting (Q5055863) (← links)
- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems (Q5096744) (← links)
