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

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

Статистика просмотров:
Эта страница:216
Страницы публикаций:801
Полные тексты:208
Списки литературы:67
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:

http://www.mathnet.ru/rus/person111160
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
ИСТИНА http://istina.msu.ru/workers/146793573

Публикации в базе данных Math-Net.Ru
2020
1. А. А. Оноприенко, “Семантика типа Крипке для пропозициональной логики задач и высказываний”, Матем. сб., 211:5 (2020),  98–125  mathnet; A. A. Onoprienko, “Kripke semantics for the logic of problems and propositions”, Sb. Math., 211:5 (2020), 709–732  isi
2015
2. Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015),  3–20  mathnet  mathscinet  zmath  elib; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190  isi  elib  scopus

2020
3. А. Оноприенко, “Непрерывность дискретная и обычная”, Квант, 2020, 2,  38–42  mathnet
2018
4. А. Оноприенко, “Геометрия клетчатой бумаги”, Квант, 2018, 11,  27–30  mathnet

Доклады и лекции в базе данных Math-Net.Ru
1. Предикатный вариант совместной логики задач и высказываний
А. А. Оноприенко
Семинар отдела математической логики «Теория доказательств»
16 марта 2020 г. 18:30   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020