Unification types of completely regular semigroups
Unification theory is concerned with solving equations in relatively free algebraic structures and has become an important topic in theoretical computer science. The paper characterizes the varieties of completely regular semigroups which contain all semilattices and are of unitary, finitary and infinitary unification type, respectively.
scientific article; zbMATH DE number 1902328