Filtern
Volltext vorhanden
- nein (1)
Erscheinungsjahr
- 2016 (1) (entfernen)
Dokumenttyp
- Wissenschaftlicher Artikel (1) (entfernen)
Sprache
- Englisch (1)
Gehört zur Bibliographie
- ja (1)
Schlagworte
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.