Digital Repository

Browsing M.Sc. Computer Science by Author "Glanfield, Joel."

DSpace/Manakin Repository

Browsing M.Sc. Computer Science by Author "Glanfield, Joel."

Sort by: Order: Results:

  • Glanfield, Joel. (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 ...

Search The Repository


Browse

My Account

Statistics


About the Digital Repository