Completing Categorical Algebras

Stephen L. Bloom, Zoltán Ésik. Completing Categorical Algebras. In Gonzalo Navarro, Leopoldo E. Bertossi, Yoshiharu Kohayakawa, editors, Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile. Volume 209 of IFIP, pages 231-249, Springer, 2006. [doi]

Abstract

Abstract is missing.