|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
В. С. Секорин, “Неразрешимость одноместных 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 |
|
2022 |
| 2. |
В. С. Секорин, “Моделирование оператора частичной фиксированной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2022, № 2, 14–26  |
|
2020 |
| 3. |
В. С. Секорин, “Об эквивалентности двух семантик PFP-оператора”, Вестник ТвГУ. Серия: Прикладная математика, 2020, № 3, 41–49 |
4
|
|
