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

Базы данных:РИНЦ (eLIBRARY.RU)ScopusWeb of Science Core Collection
Количество публикаций:422
Количество цитирований:122
Всего публикаций: 4
  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), Список ВАК

Список публикаций автора сформирован в автоматическом режиме. Сообщите, если заметили неточности. Если это ваши публикации, то вы можете войти на сайт под своей учётной записью с помощью формы вверху страницу и отредактировать список публикаций самостоятельно.

Справка для редакторов сайтов и программистов об экспорте списка публикаций на сторонние сайты.