School of Computer Science & Engineering

Filter
Software

Search results

  • 2019

    Groupoids: Calculations with finite groupoids and their homomorphisms

    Wensley, C. D. (Other) & Moore, E. J. (Other), 4 Sept 2019

    Research output: Non-textual form › Software

  • IdRel: Identities among relations

    Wensley, C. D. (Other) & Heyworth, A. (Other), 29 May 2019

    Research output: Non-textual form › Software

  • Kan: double coset rewriting systems

    Wensley, C. D. (Other) & Heyworth, A. (Other), 29 May 2019

    Research output: Non-textual form › Software

  • XMod: Crossed modules and cat1-groups

    Wensley, C. D. (Other), Alp, M. (Other), Odabas, A. (Other) & Uslu, E. O. (Other), 4 Mar 2019

    Research output: Non-textual form › Software