Pages that link to "Item:Q673186"
From MaRDI portal
The following pages link to Modularity in noncopying term rewriting (Q673186):
Displayed 4 items.
- Modular aspects of term graph rewriting (Q1275016) (← links)
- Interaction nets and term-rewriting systems (Q1389438) (← links)
- A uniform framework for term and graph rewriting applied to combined systems (Q1583048) (← links)
- Implementing conditional term rewriting by graph rewriting (Q5958126) (← links)