В. С. Секорин, “Неразрешимость одноместных PFP-операторов без вложения в теории одного следования”, Изв. вузов. Матем., 2024, № 4, 89–93 ; V. S. Sekorin, “On undecidability of unary non-nested PFP-operators for one successor function theory”, Russian Math. (Iz. VUZ), 68:4 (2024), 79–82
Vseslav Sekorin, 2023 Applied Mathematics, Computational Science and Mechanics: Current Problems (AMCSM), 2023, 1
В. С. Секорин, “Моделирование оператора частичной фиксированной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2022, № 2, 14–26
Сергей Михайлович Дудаков, Борис Николаевич Карлов, Дмитрий Ольгердович Дадеркин, Математические основы информатики и информационно-коммуникационных систем, 2021, 12
Всеслав Станиславович Секорин, Математические основы информатики и информационно-коммуникационных систем, 2021, 255
V Sekorin, “On equivalence of PFP-operator and PFP-quantifier”, J. Phys.: Conf. Ser., 1902:1 (2021), 012085
В. С. Секорин, “Об эквивалентности двух семантик PFP-оператора”, Вестник ТвГУ. Серия: Прикладная математика, 2020, № 3, 41–49
С. М. Дудаков, “О границах трансфинитного построения инфляционной неподвижной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 3, 72–80
Sergey M. Dudakov, “On inflationary fix-point operators safety”, Lobachevskii J Math, 36:4 (2015), 328
С. М. Дудаков, “Монадические состояния над упорядоченным универсальным случайным графом и конечные автоматы”, Изв. РАН. Сер. матем., 75:5 (2011), 47–64 ; S. M. Dudakov, “Monadic structures over an ordered universal random graph and finite automata”, Izv. Math., 75:5 (2011), 915–932