| 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. |
About this site and copyright information - Online Dictionary Home