Публикации: Кошелева Анна Владимировна

Базы данных:РИНЦ (eLIBRARY.RU)ScopusWeb of Science Core Collection
Количество публикаций:934
Количество цитирований:967
Всего публикаций: 13
  1. Выполнимость во временной логике с мультиозначиванием, основанной на Z : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
    присутствует в РИНЦ (eLIBRARY.RU)
  2. Unification for multi-agent temporal logics with universal modality : научное издание [статья из журнала]
    2017, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
    присутствует в Web of Science Core Collection (1 цит.)
  3. Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Кошелева А. В., Рыбаков В. В., Ответственный редактор Г. В. Демиденко
    2017, Математика в современном мире
    присутствует в РИНЦ (eLIBRARY.RU)
  4. Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Математика в современном мире
  5. Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, МАК: Математики - Алтайскому краю
    присутствует в РИНЦ (eLIBRARY.RU)
  6. Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016
    присутствует в РИНЦ (eLIBRARY.RU)
  7. On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Алгебра и логика: теория и приложения
  8. Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Мальцевские чтения
  9. PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS [статья из журнала]
    2016, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
    присутствует в Web of Science Core Collection (1 цит.), Scopus (1 цит.), РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  10. NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание [статья из журнала]
    2016, Сибирские электронные математические известия
    присутствует в Web of Science Core Collection (1 цит.), Scopus (2 цит.), РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU), Список ВАК
  11. Правила вывода многомодальных логик : диссертация на соискание ученой степени кандидата физико-математических наук [диссертация]
    2007
    присутствует в РИНЦ (eLIBRARY.RU)
  12. Правила вывода многомодальных логик : автореферат диссертации на соискание ученой степени кандидата физико-математических наук [автореферат диссертации]
    2007
    присутствует в РИНЦ (eLIBRARY.RU)
  13. Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]
    2005, LOGIC JOURNAL OF THE IGPL
    присутствует в Web of Science Core Collection (4 цит.), Scopus (3 цит.), РИНЦ (eLIBRARY.RU) (3 цит.), Ядро РИНЦ (eLIBRARY.RU)

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

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