Now showing items 1-1 of 1

• #### On the Enumeration of Finite $L$-Algebras ﻿

[OWP-2022-11] (Mathematisches Forschungsinstitut Oberwolfach, 2022-06-29)
We use Constraint Satisfaction Methods to construct and enumerate finite L-algebras up to isomorphism. These objects were recently introduced by Rump and appear in Garside theory, algebraic logic, and the study of the ...