graph rewriting system
Technology Dictionary
-> graph rewriting system
Search:
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.
©
Art Branch Inc.
SQL Tutorial