The following pages link to On term-graph rewrite strategies (Q2873679):
Displaying 7 items.
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- Using term-graph rewriting models to analyse relative space efficiency (Q2843929) (← links)
- Lazy context cloning for non-deterministic graph rewriting (Q2867896) (← links)
- Term-graph rewriting in \textsc{Tom} using relative positions (Q2870309) (← links)
- Workshop on Graph Computation Models (Q3540419) (← links)
- Foreword: special issue on term and graph rewriting (Q4585007) (← links)
- Redex capturing in term graph rewriting (concise version) (Q5055745) (← links)