System Informatics
ISSN 2307-6410
Home
Authors
Articles
Search
Instruction
About the journal
English
Russian
Menu
Search articles
By title
By abstract
By keywords
By UDK
By author
- Any -
Abounegm Abdelrahman
Adrianova Irina B.
Afzal Mubeen
Ahmadeeva Irina Ravil’evna
Aleksyuk Artyom Olegovich
Andreeva Tatiana
Andrianov Pavel Sergeevich
Anureev Igor Sergeevich
Apanovich Zinaida Vladimirovna
Baar Thomas
Baghirov Elshan
Baranov Sergey Nikolayevich
Batura Tatiana Viktorovna
Berezin Sergey
Bodin Evgeny Viktorovich
Bondarenko Ivan
Borovikova Olesya Ignat’evna
Boulanger Frédéric
Bruches Elena Pavlovna
Bulgakov Kiril
Bulyonkov Mikhail Alekseevich
Burdonov Igor Borisovich
Chernenko Ivan Mikhailovich
Cheryomushkin Evgeny Sergeevich
Churina Tatyana Gennadievna
Demin Alexander Victorovich
Dubko Anatoliy Vladimirovich
Emelyanov Pavel Gennadievich
Ermakov Anton Dmitrievich
Firsov Nikolay Ivanovich
Garanina Natalia Olegovna
Gnatenko Anton Romanovich
Gorlatch Sergei
Gorodnyaya Lidia Vasiljevna
Grekhov German Andreevich
Gribovskaya Nataliya Sergeevna
Gromov Maxim Leonidovich
Harbachonak Darya
Hernandez Armando
Iakusheva Sofia Fedorovna
Idrisov Renat Iskanderovich
Irtegov Dmitry Valentinovich
Ishchenko Artyom Dmitrievich
Itsykson Vladimir
Ivanov Aleksandr Ivanovich
Kablukov Ivan Vladimirovich
Kasyanov Victor Nikolaevich
Kasyanov Victor Nikolaevich
Kasyanova Elena Victorovna
Khademi Anahita
Khoroshilov Alexey Vladimirovitch
Khritankov Anton Sergeevich
Kogtenkov Alexander
Kondratyev Dmitry Alexandrovich
Kononenko Irina Semenovna
Kossatchev Alexander Sergeevitch
Krayneva Irina Alexandrovna
Kudasov Nikolai Dmitrievich
Kuliamin Victor Viatcheslavovitch
Kushik Natalia
Leshtaev Sergey V.
Letichevsky Alexander A.
Liakh Tatiana Viktorovna
Lipsky Nikita Valeryevich
Malov Vladimir Yurevich
Marchuk Alexander G.
Maryasov Ilya Vladimirovich
Mazzara Manuel
Meriste Merik
Mezentseva Anastasia Alekseevna
Mikheev Vitaly
Mingela Bogdan
Mohagheghi Mohammadsadegh
Murzin Feodor A.
Mutilin Vadim Sergeevich
Nepomniaschy Valery A.
Nesterenko Tatyana Viktorovna
Nikiforov Victor Vikentievuch
Nikitin Sergey
Odintsov Sergey Pavlovich
Ovchinnikova Kristina Alexeevna
Petrenko Alexander Konstantinovitch
Philippova Marina
Pimenov Ivan Sergeevich
Ponomaryov Denis
Promsky Alexey Vladimirovich
Rassokhina Anastasia Alexandrovna
Rozov Andrei Sergeevich
Rubtsova Yuliya Vladimirovna
Safina Larisa
Salomatina Natalia Vasilievna
Sanborn Killu
Schulte Horst
Selivanov Victor L.
Seryj Alexey Sergevich
Shabaldina Natalia Vladimirovna
Shcherbina Svyatoslav
Shelekhov Vladimir Ivanovich
Shestakov Vladimir Konstantinovich
Shevchenko Igor
Shilov Nikolay Vyacheslavovich
Shilov Valery Vladimirovich
Shmeleva Tatiana Rudolfovna
Shoshmina Irina Vladimirovna
Sidorov Vadim Vyacheslavovich
Sidorov Vladimir Anatolevich
Sidorova Elena Anatolvna
Skopin Igor Nikolaevich
Sokolov Pavel Pavlovich
Solovyov Vladimir Valeryevich
Staroletov Sergey Michailovich
Startsev Pavel Anatolievich
Stenenko Alexander Alexandrovich
Taha Safouan
Tchitchigin Alexander
Temerbekova Gulgaysha Gabdulovna
Tikhonova Tatyana Ivanovna
Timofeev Petr Sergeevich
Todorov Vassil
Troshkov Nikolay
Troshkov Sergey Nikolaevich
Tumurov Erdem Garmayevich
Tvardovskii Aleksandr
Vinarskii Evgeniy Maximovich
Virbitskaite Irina Bonaventurovna
Vizovitin Nikolay Valerievich
Vlasov Dmitry Yurievich
Volyanskaya Tatyana Aleksandrovna
Yevtushenko Nina Vladimirovna
Zagorulko Yury Alekseevich
Zaitsev Dmitry Anatolievich
Zakharov Vladimir Anatolyevoch
Zubarev Alexey Yurievich
Zyubin Vladimir Evgenievich
de Carvalho Daniel
By issue
- Any -
System Informatics, 2013, # 1
System Informatics, 2013, # 2
System Informatics, 2014, # 3
System Informatics, 2014, # 4
System Informatics, 2015, # 5
System Informatics, 2015, # 6
System Informatics, 2016, # 7
System Informatics, 2016, # 8
System Informatics, 2017, # 10
System Informatics, 2017, # 11
System Informatics, 2017, # 9
System Informatics, 2018, # 12
System Informatics, 2018, # 13
System Informatics, 2019, # 14
System Informatics, 2019, # 15
System Informatics, 2020, # 16
System Informatics, 2020, # 17
System Informatics, 2021, # 18
System Informatics, 2021, # 19
System Informatics, 2022, # 20
System Informatics, 2022, # 21
System Informatics, 2023, # 22
System Informatics, 2023, # 23
System Informatics, 2024, # 24
System Informatics, 2024, # 25
Системная информатика, 2025, № 26
By year
homotopy type theory
A. Abounegm
N. Kudasov
Implementing a Language Server for the Rzk Proof Assistant
//
System Informatics. —
2023
. — # 22.
—
P. 45-50
Subscribe to homotopy type theory
Russian
English
Home
Authors
Articles
Search
Instruction
About the journal
English
Russian
