Publication:2755743
From MaRDI portal
zbMath0988.20047MaRDI QIDQ2755743
Publication date: 12 November 2001
word problem; decidability; semigroup varieties; finitely presented semigroups; semigroup identities; equational theories; finitely based varieties
20M07: Varieties and pseudovarieties of semigroups
20M05: Free semigroups, generators and relations, word problems
03D35: Undecidability and degrees of sets of sentences