graph rewriting system
You are here: irt.org | FOLDOC | 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-Oriented Object Database « graph plotter « graph reduction « graph rewriting system » GRAPPLE » GRAS » GRASP/Ada
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL
©2018 Martin Webb