Decidability of the equational theory of allegories

Claudio GutiƩrrez. Decidability of the equational theory of allegories. In Ewa Orlowska, Andrzej Szalas, editors, Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. pages 91-96, 1998.

Abstract

Abstract is missing.