Pages that link to "Item:Q5881178"
From MaRDI portal
The following pages link to Collapsed tree rewriting: Completeness, confluence, and modularity (Q5881178):
Displaying 8 items.
- Modularity in noncopying term rewriting (Q673186) (← links)
- Modular aspects of term graph rewriting (Q1275016) (← links)
- A uniform framework for term and graph rewriting applied to combined systems (Q1583048) (← links)
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Essentials of Term Graph Rewriting (Q4923548) (← links)
- Modularity of termination in term graph rewriting (Q5055863) (← links)
- Critical pairs in term graph rewriting (Q5096914) (← links)
