3 citations · 4 across the 3 of their papers we have counts for
5 papers
Identities in Brandt semigroups, revisited
Mikhail V. Volkov
We present a new proof for the main claim made in the author's paper "On the identity bases of Brandt semigroups" (Ural. Gos. Univ. Mat. Zap. 14, no.1 (1985), 38--42); this claim p…
Using Sat solvers for synchronization issues in non-deterministic automata
Hanan Shabana, Mikhail V. Volkov
We approach the problem of computing a -synchronizing word of minimum length for a given nondeterministic automaton via its encoding as an instance of SAT and invoking a SAT…
Local finiteness for Green's relations in semigroup varieties
Mikhail V. Volkov, Pedro V. Silva, Filipa Soares
A semigroup variety V is said to be locally K-finite, where K stands for any of Green's relations H, R, L, D, or J, if every finitely generated semigroup from V has only finitely m…
Completely Reachable Automata
Evgenija Bondar, Mikhail Volkov
We present a few results and several open problems concerning complete deterministic finite automata in which every non-empty subset of the state set occurs as the image of the who…
Local finiteness for Green relations in (I-)semigroup varieties
Pedro V. Silva, Filipa Soares
In this work, the lattice of varieties of semigroups and the lattice of varieties of I-semigroups (a common setting for both the variety of completely regular semigroups and the va…