|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
А. А. Оноприенко, “NP-полнота игры “Ханаби” при минимальных параметрах”, Докл. РАН. Матем., информ., проц. упр., 527 (2025), 206–216   |
| 2. |
А. А. Оноприенко, “Невозможность погружения логики $\operatorname{HC}$ в логику $\operatorname{IEL}^+$ с сохранением классической импликации”, УМН, 80:5(485) (2025), 187–188 |
| 3. |
А. Л. Семенов, М. А. Бабенко, А. Я. Белов, Н. К. Верещагин, М. Е. Вишникин, Е. Е. Золин, В. Н. Крупский, С. Л. Кузнецов, В. А. Любецкий, А. А. Оноприенко, М. Р. Пентус, С. Ф. Сопрунов, А. А. Сорокин, В. Б. Шехтман, Т. Л. Яворская, “Кафедра математической логики и теории алгоритмов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1, 23–32 ; A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow University Mathematics Bulletin, 80:1 (2025), 23–33 |
|
2024 |
| 4. |
А. А. Оноприенко, “Поправка к статье “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC””, Докл. РАН. Матем., информ., проц. упр., 515 (2024), 124 |
| 5. |
А. А. Оноприенко, “Битопологические модели интуиционистской эпистемической логики”, УМН, 79:1(475) (2024), 189–190   ; A. A. Onoprienko, “Bitopological models of intuitionistic epistemic logic”, Russian Math. Surveys, 79:1 (2024), 179–181   |
1
|
|
2023 |
| 6. |
А. А. Оноприенко, “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC”, Докл. РАН. Матем., информ., проц. упр., 514:1 (2023), 123–128 ; A. A. Onoprienko, “On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC”, Dokl. Math., 108:3 (2023), 528–532 |
|
2022 |
| 7. |
А. А. Оноприенко, “Теорема о понижении мощности для логик ${\mathrm{QHC}}$ и ${\mathrm{QH4}}$”, Алгебра и логика, 61:6 (2022), 720–741 ; A. A. Onoprienko, “Cardinality reduction theorem for logics ${\mathrm{QHC}}$ and ${\mathrm{QH4}}$”, Algebra and Logic, 61:6 (2022), 491–505 |
| 8. |
А. А. Оноприенко, “Предикатный вариант совместной логики задач и высказываний”, Матем. сб., 213:7 (2022), 97–120 ; A. A. Onoprienko, “The predicate version of the joint logic of problems and propositions”, Sb. Math., 213:7 (2022), 981–1003 |
5
|
| 9. |
А. А. Оноприенко, “Топологические модели пропозициональной логики задач и высказываний”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, № 5, 25–30 ; A. A. Onoprienko, “Topological models of propositional logic of problems and propositions”, Moscow University Mathematics Bulletin, 77:5 (2022), 236–241 |
5
|
|
2021 |
| 10. |
А. А. Оноприенко, “Семантика Крипке объединённой логики задач и высказываний”, Интеллектуальные системы. Теория и приложения, 25:4 (2021), 333–336 |
|
2020 |
| 11. |
А. А. Оноприенко, “Семантика типа Крипке для пропозициональной логики задач и высказываний”, Матем. сб., 211:5 (2020), 98–125 ; A. A. Onoprienko, “Kripke semantics for the logic of problems and propositions”, Sb. Math., 211:5 (2020), 709–732 |
8
|
|
2015 |
| 12. |
Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 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 |
4
|
|
|
|
2024 |
| 13. |
А. Оноприенко, “Нужно больше золота!”, Квант, 2024, № 11-12, 10–17 |
|
2020 |
| 14. |
А. Оноприенко, “Непрерывность дискретная и обычная”, Квант, 2020, № 2, 38–42 |
|
2018 |
| 15. |
А. Оноприенко, “Геометрия клетчатой бумаги”, Квант, 2018, № 11, 27–30 |
|
