Pages that link to "Item:Q5881286"
From MaRDI portal
The following pages link to Implementing term rewriting by graph reduction: Termination of combined systems (Q5881286):
Displaying 7 items.
- Modularity in noncopying term rewriting (Q673186) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- A uniform framework for term and graph rewriting applied to combined systems (Q1583048) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Essentials of Term Graph Rewriting (Q4923548) (← links)
- More problems in rewriting (Q5055812) (← links)
- Collapsed tree rewriting: Completeness, confluence, and modularity (Q5881178) (← links)