Search
Now showing items 1-1 of 1
Towards automated derivation in the theory of allegories
(Brock University, 2008-02-16)
We provide an algorithm that automatically derives many provable theorems
in the equational theory of allegories. This was accomplished by noticing
properties of an existing decision algorithm that could be extended ...