Abstract
Algebraic specifications of abstract data types can often be viewed as systems of rewrite
rules. Here we consider rewrite rules with conditions, such as they arise, e.g., from algebraic
specifications with positive conditional equations. The conditional term rewriting systems thus
obtained which we will study, are based upon the well-known class of left-linear,
... read more