You are here: irt.org | FOLDOC | term rewriting system
(TRS) A collection of rewrite rules used to transform terms (expressions, strings in some formal language) into equivalent terms. See reduction.
(1994-11-04)
Nearby terms: Terminate and Stay Resident « termination analysis « terminator « term rewriting system » Terms Of Service » ternary » terpri
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