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

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Modularity of termination in term graph rewriting -- Confluence of terminating conditional rewrite...”