Computable Algebras, Word Problems and Canonical Term Algebras.

Published in: Theoretical Computer Science (1981)

Keyphrases