Unification types of completely regular semigroups (Q1869618)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Unification types of completely regular semigroups |
scientific article; zbMATH DE number 1902328
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification types of completely regular semigroups |
scientific article; zbMATH DE number 1902328 |
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
0.9710155
0 references
0 references
0.91068554
0 references
0.90297854
0 references
