Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Smelykh, Kirill Aleksandrovich
https://www.mathnet.ru/eng/person206923
List of publications on Google Scholar
https://orcid.org/0009-0007-3228-2806
Publications in
Math-Net.Ru
Citations
2024
1.
Stepan I. Bashmakov, Kirill A. Smelykh, “Relational version of the multi-agent computation tree logic
$\mathcal{CTLK}$
”,
Bulletin of Irkutsk State University. Series Mathematics
,
47
(2024),
78–92
Organisations
Siberian Federal University, Krasnoyarsk
