graph rewriting system

An extension of a term rewriting system which uses graph reduction on terms represented by directed graphs to avoid duplication of work by sharing expressions.

Nearby terms:

graph plottergraph reductiongraph rewriting systemGRAPPLEGRAS

Try this search on Wikipedia, OneLook, Google


Loading