Tag
A personal research page cataloging small finitely-presented monoids and their word-problem difficulty, motivated by Swift compiler’s use of Knuth-Bendix completion for generic-signature equivalence.