1. term rewriting system TRS A collection of rewrite rules used to transform terms expressions, strings in some formal language into equivalent terms. See reduction.
term rewriting system |
