Artículos relacionados a Term Graph Rewriting: Theory and Practice
Sinopsis
Charting the progress of the theory, implementation and applications of rewriting models of computation, this study represents a key resource for researchers. A major feature of the book is the presentation of theoretical advances such as a new theory of transfinite term rewriting, a single pushout categorical model of graph rewriting and an abstract interpretation for term graph rewriting.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Charting the progress of the theory, implementation and applications of rewriting models of computation, this study represents a key resource for researchers. A major feature of the book is the presentation of theoretical advances such as a new theory of transfinite term rewriting, a single pushout categorical model of graph rewriting and an abstract interpretation for term graph rewriting.
"Sobre este título" puede pertenecer a otra edición de este libro.