Publication:3138868
From MaRDI portal
zbMath0853.08004MaRDI QIDQ3138868
Publication date: 28 October 1996
congruences; solid varieties; hypervariables; hybrid identities; clones of terms; logic for hyperidentities; semigroups of compositions of terms
08A70: Applications of universal algebra in computer science
08B05: Equational logic, Mal'tsev conditions
08A40: Operations and polynomials in algebraic structures, primal algebras
08B20: Free algebras
03C05: Equational classes, universal algebra in model theory
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices, On hyperassociativity, All solid varieties of semigroups