KRASGMU.RU
LOG IN
Lukyanchuk Aleksandra Nikolaevna ●
 
Lukyanchuk Aleksandra Nikolaevna ●
AchievementsPublicationsPresentations & grants
RATE
Экспорт в Word
2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024
Achievements - 2015Tutors
1
03.05.2015
Конференция "Мальцевские чтения 2015"
Доклад (устный) - международный уровень (кроме стран СНГ)

-
2
01.09.2015
Куратор группы 121 Лечебного факультета

-
SUM:0.0
Publications - 2015Tutors
1
Luk’yanchuk A.N., Rybakov V.V.
Admissible inference rules in the linear logic of knowledge and time LTK r with intransitive time relation // Siberian Mathematical Journal. - 2015. - №3. - P.455-470.
http://link.springer.com/article/10.1134%2FS003744661503009X
Не учитывается в рейтинге

-
2
Лукьянчук А.Н.
Допустимые правила вывода линейной логики Знания и Времени LTK_r с интранзитивным отношением времени. Гипотеза о конечной аксиоматизируемости LTK_r // Тезисы докладов междунородной конференции Мальцевские чтения 2015. - Новосибирск, Институт математики им.Соболева. - 2015
http://math.nsc.ru/conference/malmeet/15/malmeet15.pdf
Тезисы на ВСЕРОССИЙСКОЙ конференции

5.0/1=5.0
SUM:5.0
Presentations & grants - 2015Tutors
No data
SUM:0.0
RATE for 2015:Tutors: 5.0
▲