Computing (FOLDOC) dictionary
Jump to user comments
string of function names, constants and parentheses. It is
reduced by replacing parts of the string representing subterms
by their value.
It is harder to represent sharing of subexpressions in string
(1995-02-06)