16 citations · 17 across the 3 of their papers we have counts for
3 papers
math.RA2008★ 16 cited
Essential Variables and Separable Sets in Universal Algebra
Slavcho Shtrakov, Klaus Denecke
The study of essential and strongly essential variables in functions defined on finite sets is a part of -valued logic. We extend the main definitions from functions to terms. T…
math.RA2008★ 1 cited
Multi-Hypersubstitutions and Colored Solid Varieties
Klaus Denecke, Jorg Koppitz, Slavcho Shtrakov
Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The…
math.RA2008
The Depth of a Hypersubstitution
Klaus Denecke, Jorg Koppitz, Slavcho Shtrakov
For given depth of a we derive a formula for the depth of the image of that term under a given hypersubstitution.