Term Graph Rewriting
Author | : M. R. Sleep |
Publisher | : |
Total Pages | : 408 |
Release | : 1993-06-08 |
ISBN-10 | : UOM:39015029573592 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Term Graph Rewriting by : M. R. Sleep
Download or read book Term Graph Rewriting written by M. R. Sleep and published by . This book was released on 1993-06-08 with total page 408 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.