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 11 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)
- (Q3809229) (← links)
- (Q4255568) (← links)
- Essentials of Term Graph Rewriting (Q4923548) (← links)
- More problems in rewriting (Q5055812) (← links)
- Modularity of termination in term graph rewriting (Q5055863) (← links)
- Collapsed tree rewriting: Completeness, confluence, and modularity (Q5881178) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898158) (← links)