Publication:4510931
From MaRDI portal
zbMath0970.20035MaRDI QIDQ4510931
Publication date: 3 July 2001
solvability of equations; varieties of completely simple semigroups; most general solutions; unification types of varieties
20M07: Varieties and pseudovarieties of semigroups
20M05: Free semigroups, generators and relations, word problems
03B35: Mechanization of proofs and logical operations
Related Items
Obituary: Libor Polák (1950--2020), Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups