Перегляд за автором "Shtrakov, S."

Сортувати за: Порядок: Результатів:

  • Multi-solid varieties and Mh-transducers 
    Shtrakov, S. (Algebra and Discrete Mathematics, 2007)
    We consider the concepts of colored terms and multi-hypersubstitutions. If t∈Wτ(X) is a term of type τ, then any mapping αt:PosF(t)→N of the non-variable positions of a term into the set of natural numbers is called a ...
  • On mappings of terms determined by hypersubstitutions 
    Koppitz, J.; Shtrakov, S. (Algebra and Discrete Mathematics, 2005)
    The extensions of hypersubstitutions are mappings on the set of all terms. In the present paper we characterize all hypersubstitutions which provide bijections on the set of all terms. The set of all such hypersubstitutions ...