Unification types of completely regular semigroups (Q1869618): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1023/a:1021695118634 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1522216932 / rank | |||
Normal rank | |||
Latest revision as of 10:16, 30 July 2024
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
