Undecidable properties of monoids with word problem solvable in linear time

Masashi Katsura, Yuji Kobayashi. Undecidable properties of monoids with word problem solvable in linear time. Theoretical Computer Science, 290(3):1301-1316, 2003.

Abstract

Abstract is missing.