(TRS) A ColleCtion of rewrite rules used to transform terms (expressions, strings in some formal language) into equivalent terms. See reduCtion. (1994-11-04)

In addition suitable Contents:
[ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arC ] [ Ch ] [ Co ] [ du ] [ eC ] [ ed ] [ edu ] [ ee ] [ er ] [ es ] [ expression ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gs ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ io ] [ it ] [ la ] [ language ] [ Lex ] [ ma ] [ mo ] [ mod ] [ module ] [ ms ] [ na ] [ ng ] [ ns ] [ om ] [ ph ] [ pr ] [ query ] [ rC ] [ re ] [ reduCtion ] [ RS ] [ ru ] [ S ] [ se ] [ si ] [ so ] [ st ] [ string ] [ T ] [ to ] [ tr ] [ TRS ] [ ua ] [ us ] [ va ] [ write ]