Publication:4532124
From MaRDI portal
zbMath0993.20037MaRDI QIDQ4532124
Publication date: 28 May 2002
Full work available at URL: https://eudml.org/doc/49370
08B15: Lattices of varieties
20M07: Varieties and pseudovarieties of semigroups
20M05: Free semigroups, generators and relations, word problems
03B25: Decidability of theories and sets of sentences