Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
string reduction
Jump to user comments
A reduction system where an expression is represented as a
string of function names, constants and parentheses. It is
reduced by replacing parts of the string representing subterms
by their value.