|
Проценко Никита Александрович
|
Публикаций: |
2 (2) |
в MathSciNet: |
1 (1) |
в zbMATH: |
1 (1) |
Статистика просмотров: |
Эта страница: | 591 | Страницы публикаций: | 178 | Полные тексты: | 33 | Списки литературы: | 9 |
|
Дата рождения: |
8.10.2003 |
|
|
Основные публикации: |
-
Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 98-107
|
|
|
https://www.mathnet.ru/rus/person198206 |
|
Список публикаций на Google Scholar |
|
https://zbmath.org/authors/?q=ai:protsenko.nikita-aleksandrovich |
|
https://elibrary.ru/author_items.asp?spin=7488-6334
|
|
https://orcid.org/0009-0001-5435-5785
|
|
https://www.scopus.com/authid/detail.url?authorId=58516491700
|
|
https://www.researchgate.net/profile/Nikita-Protsenko-2
|
|
|
Список публикаций:
|
|
Цитирования (Crossref Cited-By Service + Math-Net.Ru) |
|
1. |
N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Известия Иркутского государственного университета. Серия Математика, 49 (2024), 124–134 ; |
2. |
Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 98–107 |
|
|
Организации |
|