Search alternatives:
"graph rewriting" » "graph writing"
Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Term graph rewriting -- Approximation and normalization results for typeable term rewriting systems...”
Cover Image
Read Now

2
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Conditional term graph rewriting -- Lazy narrowing with parametric order sorted types -- Termination...”