1. Zolotov A.S. On Decidability of the Theory with the Transitive Closure Operator // Lobachevskii Journal of Mathematics. 2015. V.36. Issue 4. P.434-440.
Подробно
2. Dudakov S.M. On Inflationary Fix-Point Operators Safety // Lobachevskii Journal of Mathematics. 2015. V.36. Issue 4. P.328-331.
Подробно
3. Karlov B. On Theory of Regular Languages with the Kleene Star Operation // Lobachevskii Journal of Mathematics. 2020. V.41. P.1660-1665.
Подробно
4. Dudakov S.M. On Undecidability of Concatenation Theory for One-Symbol Languages // Lobachevskii Journal of Mathematics. 2020. V.41. P.168-175.
Подробно
5. Sekorin V.S. Partial Fixed Point for Finite Models in Second Order Logic // Lobachevskii Journal of Mathematics. 2020. V.41. P.1672-1679.
Подробно