Projects with this topic
Sort by:
-
-
-
A computational algebra library which provides tools to apply correspondence theory to arbitrary classes of heterogeneous algebras.
Updated
A computational algebra library which provides tools to apply correspondence theory to arbitrary classes of heterogeneous algebras.