Unification in varieties of idempotent semigroups (Q1092171)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification in varieties of idempotent semigroups |
scientific article |
Statements
Unification in varieties of idempotent semigroups (English)
0 references
1987
0 references
We have classified all varieties of idempotent semigroups with respect to the unification types of their defining sets of identities. With the exception of eight finitary unifying theories these are all of unification type zero. This yields countably many examples of theories of that type which are more ''natural'' than the first example constructured by Fages and Huet.
0 references
term rewriting systems
0 references
varieties of idempotent semigroups
0 references
unification types
0 references
defining sets of identities
0 references
