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