Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Проценко Никита Александрович

Публикаций: 2 (2)
в MathSciNet: 2 (2)
в zbMATH: 1 (1)
Цитированных статей: 1
Цитирований: 1

Статистика просмотров:
Эта страница:682
Страницы публикаций:236
Полные тексты:57
Списки литературы:24
Дата рождения: 8.10.2003
   
Основные публикации:
  1. 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)

   2024
1. N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Известия Иркутского государственного университета. Серия Математика, 49 (2024), 124–134  mathnet  crossref  mathscinet  elib;

   2023
2. Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 98–107  mathnet  crossref  mathscinet  zmath  elib 1

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024