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

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

Базы данных:РИНЦ (eLIBRARY.RU)ScopusWeb of Science Core Collection
Количество публикаций:622
Всего публикаций: 6
  1. Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода : специальность 01.01.06 Математическая логика, алгебра и теория чисел "" [диссертация]
    Лукьянчук Александра Николаевна
    2015
    присутствует в РИНЦ (eLIBRARY.RU)
  2. Временная интранзитивная мульти-агентная логика; алгоритмы разрешимости, правила вывода : автореферат дис. ... кандидата физико-математических наук [диссертация]
    Лукьянчук Александра Николаевна
    2015
    присутствует в РИНЦ (eLIBRARY.RU)
  3. Допустимые правила вывода линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]
    Лукьянчук Александра Николаевна, Рыбаков Владимир Владимирович
    2015, Сибирский математический журнал
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  4. 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), Список ВАК
  5. Аксиоматизация линейной логики знания и времени LTK r с интранзитивным отношением времени [статья из журнала]
    Лукьянчук Александра Николаевна, Римацкий Виталий Валентинович
    2013, Сибирский математический журнал
    присутствует в РИНЦ (eLIBRARY.RU), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  6. 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), Список ВАК

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

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