Unification types of completely regular semigroups (Q1869618)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification types of completely regular semigroups |
scientific article |
Statements
Unification types of completely regular semigroups (English)
0 references
28 April 2003
0 references
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.
0 references
completely regular semigroups
0 references
varieties of algebras
0 references
relatively free algebras
0 references
unification theory
0 references
unification types
0 references
