Filtern
Volltext vorhanden
- nein (2)
Erscheinungsjahr
- 2016 (2) (entfernen)
Dokumenttyp
Sprache
- Englisch (2)
Gehört zur Bibliographie
- ja (2)
Schlagworte
- composition of terms (1)
- essential position in terms (1)
- generating sets (1)
- relative ranks (1)
- restricted range (1)
- stable variety (1)
- transformation semigroups (1)
Institut
The paper deals with Sigma-composition and Sigma-essential composition of terms which lead to stable and s-stable varieties of algebras. A full description of all stable varieties of semigroups, commutative and idempotent groupoids is obtained. We use an abstract reduction system which simplifies the presentations of terms of type tau - (2) to study the variety of idempotent groupoids and s-stable varieties of groupoids. S-stable varieties are a variation of stable varieties, used to highlight replacement of subterms of a term in a deductive system instead of the usual replacement of variables by terms.