Publications in Math-Net.Ru
-
MaTIS – the school of V.B. Kudryavtsev: traditions and advancement
Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2024, no. 6, 15–26
-
Complexity of the constraint satisfaction problem and its variations
Intelligent systems. Theory and applications, 25:4 (2021), 28–35
-
Reports from the Automata Theory seminar
Intelligent systems. Theory and applications, 22:4 (2018), 137–142
-
From two-valued logic to $k$-valued logic
Intelligent systems. Theory and applications, 22:1 (2018), 131–149
-
The predicate method to construct the Post lattice
Diskr. Mat., 23:2 (2011), 115–128
-
On the classification of Post automaton bases by the decidability of the $A$-completeness property for definite automata
Diskr. Mat., 22:2 (2010), 80–95
-
Cardinality of the set of all precomplete classes for definite automata
Fundam. Prikl. Mat., 15:4 (2009), 29–36
© , 2026