The following pages link to (Q4954455):
Displayed 12 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- Modularity in noncopying term rewriting (Q673186) (← links)
- Termination is not modular for confluent variable-preserving term rewriting systems (Q674186) (← 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)
- A uniform framework for term and graph rewriting applied to combined systems (Q1583048) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Layer Systems for Proving Confluence (Q2946770) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Compositional term rewriting: An algebraic proof of Toyama's theorem (Q5055865) (← links)
- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems (Q5096744) (← links)