Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кошелева Анна Владимировна

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4

Статистика просмотров:
Эта страница:201
Страницы публикаций:802
Полные тексты:240
Списки литературы:144
E-mail:

https://www.mathnet.ru/rus/person28966
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/765034

Публикации в базе данных Math-Net.Ru Цитирования
2022
1. Vladimir R. Kiyatkin, Anna V. Kosheleva, “Satisfiability in a temporal multi-valueted logic based on $\mathbb{Z}$”, Журн. СФУ. Сер. Матем. и физ., 15:1 (2022),  56–74  mathnet  mathscinet
2016
2. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Projective formulas and unification in linear discrete temporal multi-agent logics”, Сиб. электрон. матем. изв., 13 (2016),  923–929  mathnet  isi  scopus 3
3. S. I. Bashmakov, A. V. Kosheleva, V. Rybakov, “Non-unifiability in linear temporal logic of knowledge with multi-agent relations”, Сиб. электрон. матем. изв., 13 (2016),  656–663  mathnet  isi  scopus 2
2005
4. А. В. Кошелева, “Разрешимость проблемы допустимости правил вывода в некоторых $S5_t$-логиках”, Алгебра и логика, 44:4 (2005),  438–458  mathnet  mathscinet  zmath; A. V. Kosheleva, “Decidability of the Admissibility Problem for Inference Rules in Some $S5_t$-Logics”, Algebra and Logic, 44:4 (2005), 243–255  scopus
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024