Carlos Caleiro, Ricardo Gonçalves. On the Algebraization of Many-Sorted Logics. In José Luiz Fiadeiro, Pierre Yves Schobbens, editors, Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Volume 4409 of Lecture Notes in Computer Science, pages 21-36, Springer, 2006. [doi]
Abstract is missing.