Publication:4406627
From MaRDI portal
zbMath1019.03031MaRDI QIDQ4406627
Publication date: 25 June 2003
Full work available at URL: https://eudml.org/doc/50266
20M14: Commutative semigroups
20M05: Free semigroups, generators and relations, word problems
03D15: Complexity of computation (including implicit computational complexity)
03D40: Word problems, etc. in computability and recursion theory
03D10: Turing machines and related notions