Essential Variables and Separable Sets in Universal Algebra

zbMath1022.08002arXiv0812.1979MaRDI QIDQ4804664

Klaus Denecke, Slavcho Shtrakov

Publication date: 28 April 2003

Full work available at URL: https://arxiv.org/abs/0812.1979

zbMATH Keywords

\(k\)-valued logiccomplexity of algebrascomplexity of termsstrongly essential variables

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Complexity of computation (including implicit computational complexity) (03D15) Many-valued logic (03B50) Finitary algebras (08A62)

Related Items (3)

Stable varieties of semigroups and groupoids. ⋮ Essential variables and positions in terms ⋮ On the upper bounds for complexities of discrete functions

This page was built for publication: Essential Variables and Separable Sets in Universal Algebra