| |
Protsenko, Nikita Aleksandrovich
|
| Total publications: |
2 (2) |
| in MathSciNet: |
2 (2) |
| in zbMATH: |
1 (1) |
| Cited articles: |
1 |
| Citations: |
1 |
| Number of views: |
| This page: | 681 | | Abstract pages: | 235 | | Full texts: | 56 | | References: | 24 |
|
| Birth date: |
8.10.2003 |
| |
|
| Main publications: |
-
Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya Matematika, 44 (2023), 98-107
|
|
 |
https://www.mathnet.ru/eng/person198206 |
 |
List of publications on 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
|
|
| Full list of publications: |
|
|
Citations (Crossref Cited-By Service + Math-Net.Ru) |
|
|
Articles
|
|
| |
| 1. |
N. A. Protsenko, V. V. Rybakov, “The satisfiability problem in linear multi-agent knowledge logic based on $\mathbb{N}$”, Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya Matematika, 49 (2024), 124–134   |
| 2. |
Nikita A. Protsenko, Vladimir V. Rybakov, Vitaliy V. Rimatskiy, “Satisfiability problem in interval FP-logic”, Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya Matematika, 44 (2023), 98–107 ;
|
1
[x]
|
|
|
| Organisations |
|
Contact us: