The following pages link to (Q4954455):
Displayed 7 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)