Items related to Term Graph Rewriting: Theory and Practice
Synopsis
A comprehensive study and exposition on the benefits of graph and term rewriting. Contains such theoretical advances as a single pushout categorical model of graph rewriting, a new theory of transfinite term rewriting and an abstract interpretation for term graph rewriting. Includes a discussion of parallelism.
"synopsis" may belong to another edition of this title.