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
|
