Pages that link to "Item:Q1275016"
From MaRDI portal
The following pages link to Modular aspects of term graph rewriting (Q1275016):
Displaying 13 items.
- Modularity in noncopying term rewriting (Q673186) (← links)
- Transitive term graph rewriting (Q1350096) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- A uniform framework for term and graph rewriting applied to combined systems (Q1583048) (← links)
- Bisimilarity in term graph rewriting. (Q1854321) (← links)
- Module integration using graph grammars (MIGRATE) (Q2154049) (← links)
- Conditional term graph rewriting with indirect sharing (Q2843935) (← links)
- Essentials of Term Graph Rewriting (Q4923548) (← links)
- A graph reduction approach to incremental term rewriting (Q5055800) (← links)
- Modularity of termination in term graph rewriting (Q5055863) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- Complexity of Acyclic Term Graph Rewriting. (Q5369475) (← links)
- Implementing term rewriting by graph reduction: Termination of combined systems (Q5881286) (← links)