72 citations · 112 across the 13 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015
Multi-sorted logic, models and logical geometry
Elena Aladova, Aleko Gvaramia, Boris Plotkin +1
Let be a variety of algebras, be a model, where is an algebra from , is a set of relation symbols , is an interpretation of all in . Let $X…
math.RA2015
Decompositions and complexity of linear automata
Boris Plotkin, Tatjana Plotkin
The Krohn-Rhodes complexity theory for pure (without linearity) automata is well-known. This theory uses an operation of wreath product as a decomposition tool. The main goal of th…
cs.FL2015
Automata and automata mappings of semigroups
Boris Plotkin, Tatjana Plotkin
The paper is devoted to two types of algebraic models of automata. The usual (first type) model leads to the developed decomposition theory (Krohn-Rhodes theory). We introduce anot…