• Login
    Search 
    •   Repository Home
    • Brock Theses
    • Search
    •   Repository Home
    • Brock Theses
    • Search
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Search

    Show Advanced FiltersHide Advanced Filters

    Filters

    Use filters to refine the search results.

    Now showing items 1-1 of 1

    • Sort Options:
    • Relevance
    • Title Asc
    • Title Desc
    • Issue Date Asc
    • Issue Date Desc
    • Results Per Page:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Towards automated derivation in the theory of allegories 

    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 ...

    Brock University | Copyright © 2006-2015 
    Contact Us | Send Feedback
     

     

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Discover

    AuthorGlanfield, Joel. (1)SubjectAllegories (Mathematics) (1)Computer algorithms. (1)... View MoreDate Issued
    2008 (1)
    Degree
    M.Sc. Computer Science (1)

    Brock University | Copyright © 2006-2015 
    Contact Us | Send Feedback