| |
Проценко Никита Александрович
|
| Публикаций: |
2 (2) |
| в MathSciNet: |
2 (2) |
| в zbMATH: |
1 (1) |
| Цитированных статей: |
1 |
| Цитирований: |
1 |
| Статистика просмотров: |
| Эта страница: | 682 | | Страницы публикаций: | 236 | | Полные тексты: | 57 | | Списки литературы: | 24 |
|
| Дата рождения: |
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/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 ;
|
1
[x]
|
|
|
| Организации |
|
Обратная связь: