| |
Секорин Всеслав Станиславович
|
|
| Дата рождения: |
16.10.1996 |
| Ключевые слова: |
логика первого порядка. |
Основные темы научной работы |
Частичная фиксированная точка |
| |
|
| Основные публикации: |
-
Sekorin V.S., “Partial Fixed Point for Finite Models in Second Order Logic”, Lobachevskii Journal of Mathematics, 41:9 (2020), 1672-1679
|
|
 |
https://www.mathnet.ru/rus/person163730 |
 |
Список публикаций на Google Scholar |
 |
https://elibrary.ru/author_items.asp?spin=4356-3305
|
 |
https://orcid.org/0000-0002-8893-6393
|
 |
https://www.scopus.com/authid/detail.url?authorId=57219801332
|
|
|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
В. С. Секорин, “Неразрешимость одноместных PFP-операторов без вложения в теории одного следования”, Изв. вузов. Матем., 2024, № 4, 89–93 |
|
2022 |
| 2. |
В. С. Секорин, “Моделирование оператора частичной фиксированной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2022, № 2, 14–26 |
|
2020 |
| 3. |
В. С. Секорин, “Об эквивалентности двух семантик PFP-оператора”, Вестник ТвГУ. Серия: Прикладная математика, 2020, № 3, 41–49 |
4
|
|
|
| Доклады и лекции в базе данных Math-Net.Ru |
|
|
| Организации |
|
Обратная связь: