25 citations · 37 across the 10 of their papers we have counts for
1 paper · 1 filter
João Araújo, Jan Hůla, Mikoláš Janota +2
We introduce SemiBase, a project that computes and formally certifies finite identity bases for small semigroups. Deciding finite basability is undecidable for finite algebras and…