This volume contains the papers preesented at the Third International Workshop on Conditional Term Rewriting Systems, held in Pont- -Mousson, France, July 8-10,

Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in

Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete tran