Certifying the Decidability of the Word Problem in Monoids at Large.

Reinis Cirpons, Florent Hivert, Assia Mahboubi, Guillaume Melquiond, James D. Mitchell, Finn Smith

Browse the full CPP paper archive.