Публикации: Лукьянчук Александра Николаевна

Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода : автореферат дис. ... кандидата физико-математических наук [диссертация]
Лукьянчук Александра Николаевна
2015
присутствует в РИНЦ (eLIBRARY.RU)
Допустимые правила вывода линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]
Лукьянчук Александра Николаевна, Рыбаков Владимир Владимирович
2015, Сибирский математический журнал
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Admissible inference rules in the linear logic of knowledge and time LTK (r) with intransitive time relation [статья из журнала]
Luk'yanchuk A. N., Rybakov V. V.
2015, SIBERIAN MATHEMATICAL JOURNAL
присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
Аксиоматизация линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]
Лукьянчук Александра Николаевна, Римацкий Виталий Валентинович
2013, Сибирский математический журнал
присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
An axiomatization for the linear logic of knowledge and time LTK (r) with intransitive time relation [статья из журнала]
Luk'yanchuk A. N., Rimatskii V. V.
2013, SIBERIAN MATHEMATICAL JOURNAL
присутствует в Web of Science Core Collection, Scopus, РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.