25 citations · 37 across the 10 of their papers we have counts for
1 paper · 2 filters
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…