Pages that link to "Item:Q673186"
From MaRDI portal
The following pages link to Modularity in noncopying term rewriting (Q673186):
Displaying 9 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)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Modular non-deterministic semantics for T, TB, S4, S5 and more (Q5028307) (← links)
- Modularity of termination in term graph rewriting (Q5055863) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- Algebraic Methodology and Software Technology (Q5312993) (← links)
- Implementing conditional term rewriting by graph rewriting (Q5958126) (← links)