On the Adequacy of Graph Rewriting for Simulating Term Rewriting

Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries. On the Adequacy of Graph Rewriting for Simulating Term Rewriting. ACM Transactions on Programming Languages and Systems, 16(3):493-523, 1994. [doi]

Authors

Richard Kennaway

This author has not been identified. Look up 'Richard Kennaway' in Google

Jan Willem Klop

Identified as Jan Willem Klop

M. Ronan Sleep

This author has not been identified. Look up 'M. Ronan Sleep' in Google

Fer-Jan de Vries

This author has not been identified. Look up 'Fer-Jan de Vries' in Google