Pages that link to "Item:Q1142046"
From MaRDI portal
The following pages link to Speeding up subtree replacement systems (Q1142046):
Displaying 6 items.
- On ``On graph rewritings'' (Q1098284) (← links)
- Computation on graph-like expressions (Q1134513) (← links)
- Optimal evaluations of graph-like expressions (Q1136217) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Transformations of structures: An algebraic approach (Q3953162) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)
