Equational specifications, complete term rewriting systems, and computable and semicomputable algebras

J. A. Bergstra, J. V. Tucker
1995 Journal of the ACM  
Equational specifications, complete term rewriting systems, and computable and semicomputable algebras Bergstra, J.A.; Tucker, J.V. Abstract. We classify the computable and semicomputable algebras in terms of finite equational initial algebra specifications and their properties as term term rewriting systems, such as completeness. Further results on properties of these specifications, such as on their size and orthogonality, are provided which show that our main results are the best possible.
doi:10.1145/227683.227687 fatcat:7tk5kkawmnagdecsvdxmg62hju