The following pages link to (Q4025927):
Displaying 7 items.
- On graph rewriting, reduction, and evaluation in the presence of cycles (Q526460) (← links)
- Divide-and-conquer and parallel graph reduction (Q1175201) (← links)
- Computing with graph rewriting systems with priorities (Q1261464) (← links)
- A method of graph reduction and its applications (Q1669583) (← links)
- TERM: A parallel executable graph reduction machine for equational language (Q1823668) (← links)
- Reducibility between classes of port graph grammar. (Q1872703) (← links)
- A formal system of reduction paths for parallel reduction (Q1989338) (← links)