About this scholarly article

Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras by Bergstra is a scholarly article available to read on EtoBox.

Author

Bergstra