| Публикации в базе данных 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 |
|
Пользовательское соглашение