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

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

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

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.