Nearby in the stack

Knuth-Bendix algorithm and the conjugacy problems in monoids · arXivDesk