В. С. Секорин, “Неразрешимость одноместных PFP-операторов без вложения в теории одного следования”, Изв. вузов. Матем., 2024, № 4, 89–93
V. S. Sekorin, “On Undecidability of Unary Nonnested PFP Operators for One Successor Function Theory”, Russ Math., 68:4 (2024), 79
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