Definition. Compositionality, computability, and complexity › Term rewrite systems (§ 6.1) › Convergence (§ 6.1) [pagin2021-convergence]
Definition. Compositionality, computability, and complexity › Term rewrite systems (§ 6.1) › Convergence (§ 6.1) [pagin2021-convergence]
A confluent system that terminates is convergent.