@article{Denecke1995,
  author    = {Denecke, Klaus-Dieter},
  title     = {Hybrid identities and hybrid equational logic},
  year      = {1995},
  language  = {en}
}
@article{Denecke1995,
  author    = {Denecke, Klaus-Dieter},
  title     = {Clones and hyperidentities},
  year      = {1995},
  language  = {en}
}
@article{DeneckeKoppitzŠtrakov2006,
  author    = {Denecke, Klaus-Dieter and Koppitz, J{\"o}rg and Štrakov, Slavčo},
  title     = {Multi-hypersubstitutions and colored solid varieties},
  series = {International journal of algebra and computation},
  volume    = {16},
  journal   = {International journal of algebra and computation},
  number    = {4},
  publisher = {World Scient. Publ.},
  address   = {Singapore},
  issn      = {0218-1967},
  doi       = {10.1142/S0218196706003189},
  pages     = {797 -- 815},
  year      = {2006},
  abstract  = {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 nodes of the trees, describing terms, are labelled by operation symbols and by colors, i.e. certain positive integers. We are interested in mappings which map differently-colored operation symbols to different terms. In this paper we extend the theory of hypersubstitutions and solid varieties to multi-hypersubstitutions and colored solid varieties. We develop the interconnections between such colored terms and multihypersubstitutions and the equational theory of Universal Algebra. The collection of all varieties of a given type forms a complete lattice which is very complex and difficult to study; multi-hypersubstitutions and colored solid varieties offer a new method to study complete sublattices of this lattice.},
  language  = {en}
}
@article{Denecke2019,
  author    = {Denecke, Klaus-Dieter},
  title     = {The partial clone of linear formulas},
  series = {Siberian mathematical journal},
  volume    = {60},
  journal   = {Siberian mathematical journal},
  number    = {4},
  publisher = {Pleiades Publ.},
  address   = {New York},
  issn      = {0037-4466},
  doi       = {10.1134/S0037446619040037},
  pages     = {572 -- 584},
  year      = {2019},
  abstract  = {A term t is linear if no variable occurs more than once in t. An identity s ≈ t is said to be linear if s and t are linear terms. Identities are particular formulas. As for terms superposition operations can be defined for formulas too. We define the arbitrary linear formulas and seek for a condition for the set of all linear formulas to be closed under superposition. This will be used to define the partial superposition operations on the set of linear formulas and a partial many-sorted algebra Formclonelin(τ, τ′). This algebra has similar properties with the partial many-sorted clone of all linear terms. We extend the concept of a hypersubstitution of type τ to the linear hypersubstitutions of type (τ, τ′) for algebraic systems. The extensions of linear hypersubstitutions of type (τ, τ′) send linear formulas to linear formulas, presenting weak endomorphisms of Formclonelin(τ, τ′).},
  language  = {en}
}
@article{ArwornDenecke1997,
  author    = {Arworn, Srichan and Denecke, Klaus-Dieter},
  title     = {Groupoids of hypersubstitutions and G-solid varieties},
  year      = {1997},
  language  = {en}
}
@article{DeneckePoomsaard1997,
  author    = {Denecke, Klaus-Dieter and Poomsa-ard, T.},
  title     = {Hyperidentities in graph algebras},
  year      = {1997},
  language  = {en}
}
@article{DeneckeWismath1997,
  author    = {Denecke, Klaus-Dieter and Wismath, Shelly},
  title     = {The monoid of hypersubstitutions of type (2)},
  year      = {1997},
  language  = {en}
}
@article{ArwornDenecke1997,
  author    = {Arworn, Srichan and Denecke, Klaus-Dieter},
  title     = {A new methods to study subvariety lattices of semigroup varieties},
  year      = {1997},
  language  = {en}
}
@article{DeneckeLueders1995,
  author    = {Denecke, Klaus-Dieter and L{\"u}ders, Otfried},
  title     = {Category equivalences of clones},
  year      = {1995},
  language  = {en}
}
@article{Denecke1996,
  author    = {Denecke, Klaus-Dieter},
  title     = {The entropy sequence of unary logical functions},
  year      = {1996},
  language  = {en}
}