Definition. Compositionality, computability, and complexity › Term rewrite systems (§ 6.1) › Conditional term rewrite systems (§ 6.1) [pagin2021-ctrs]

In a conditional term rewrite system ${\mathrm{\Sigma }}_{\mathrm{\Phi }},R_{\mathrm{\Phi }}$, the reductions are conditioned over some conditions $C_1,...,C_n$.