The following pages link to (Q4431370):
Displaying 4 items.
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- A uniform framework for term and graph rewriting applied to combined systems (Q1583048) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)