Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability

Lawrence S. Moss, José Meseguer, Joseph A. Goguen. Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. Theoretical Computer Science, 100(2):267-302, 1992.

Possibly Related Publications

The following publications are possibly variants of this publication: