Undecidability Results for Monoids with Linear-Time Decidable Word Problems.

Masashi Katsura, Yuji Kobayashi, Friedrich Otto

Browse the full ISAAC paper archive.