|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
| 1. |
А. А. Часовских, В. С. Половников, А. А. Хусаенов, Г. В. Боков, А. Ю. Коновалов, А. С. Дробышев, В. А. Бирюкова, “Автоматизация поиска архитектур искусственных нейронных сетей”, Интеллектуальные системы. Теория и приложения, 27:4 (2023), 5–27  |
| 2. |
А. Ю. Коновалов, “Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемости”, Матем. заметки, 114:6 (2023), 827–847 ; A. Yu. Konovalov, “Basic Predicate Calculus is Sound with Respect to a Modified Version of Strictly Primitive Recursive Realizability”, Math. Notes, 114:6 (2023), 1260–1276  |
|
2022 |
| 3. |
А. Ю. Коновалов, “Некорректность базисной логики предикатов относительно
сильного варианта строгой примитивно-рекурсивной реализуемости”, Матем. заметки, 111:2 (2022), 241–257 ; A. Yu. Konovalov, “Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability”, Math. Notes, 111:2 (2022), 243–257  |
2
|
|
2021 |
| 4. |
А. Ю. Коновалов, “Общерекурсивная реализуемость и интуиционистская логика”, Алгебра и логика, 60:2 (2021), 137–144 ; A. Yu. Konovalov, “General recursive realizability and intuitionistic logic”, Algebra and Logic, 60:2 (2021), 89–94 |
2
|
| 5. |
А. Ю. Коновалов, “Корректность базисной логики относительно абсолютной $L$-реализуемости”, Интеллектуальные системы. Теория и приложения, 25:2 (2021), 49–54 |
1
|
| 6. |
А. Ю. Коновалов, “$\Lambda$-выражения для примитивно-рекурсивных функций в иерархии Гжегорчика”, Интеллектуальные системы. Теория и приложения, 25:1 (2021), 107–125 |
1
|
|
2020 |
| 7. |
А. Ю. Коновалов, “Общерекурсивная реализуемость и базисная логика”, Алгебра и логика, 59:5 (2020), 542–566 ; A. Yu. Konovalov, “General recursive realizability and basic logic”, Algebra and Logic, 59:5 (2020), 367–384 |
5
|
| 8. |
А. Ю. Коновалов, “Корректность конструктивной теории множеств без аксиомы объемности относительно семантики арифметической реализуемости, основанной на гиперарифметических видах”, Интеллектуальные системы. Теория и приложения, 24:1 (2020), 73–77 |
| 9. |
А. Ю. Коновалов, “Обобщенная реализуемость и принцип Маркова”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2020, № 1, 60–64   ; A. Yu. Konovalov, “Generalized realizability and the Markov principle”, Moscow University Mathematics Bulletin, 75:1 (2020), 38–41 |
3
|
|
2019 |
| 10. |
А. Ю. Коновалов, “Некорректность интуиционистской теории множеств относительно конструктивной семантики, основанной на гиперарифметических видах”, Интеллектуальные системы. Теория и приложения, 23:3 (2019), 131–134 |
| 11. |
А. Ю. Коновалов, “Некорректность теории множеств Цермело–Френкеля относительно конструктивной семантики, основанной на гиперарифметических видах”, Интеллектуальные системы. Теория и приложения, 23:2 (2019), 159–163 |
| 12. |
А. Ю. Коновалов, “Условие корректности и полноты классической логики для семантики относительной $V$-реализуемости”, Интеллектуальные системы. Теория и приложения, 23:1 (2019), 133–136 |
1
|
| 13. |
А. Ю. Коновалов, “Равномерная $V$-реализуемость принципа Маркова в $V$-перечислимой области”, Интеллектуальные системы. Теория и приложения, 23:1 (2019), 99–103 |
1
|
| 14. |
А. Ю. Коновалов, “Обобщенная реализуемость для расширений языка арифметики”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 4, 50–54 |
2
|
| 15. |
А. Ю. Коновалов, “Абсолютная $L$-реализуемость и интуиционистская логика”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2019, № 2, 50–53 ; A. Yu. Konovalov, “Absolute $L$-realizability and intuitionistic logic”, Moscow University Mathematics Bulletin, 74:2 (2019), 79–82 |
6
|
|
2018 |
| 16. |
Р. А. Ищенко, А. С. Подколзин, Д. Н. Жук, С. В. Моисеев, А. М. Миронов, К. А. Голиков, П. С. Дергач, А. В. Галатенко, И. Л. Мазуренко, А. Ю. Коновалов, Е. А. Курганов, “Доклады семинара «Теория автоматов»”, Интеллектуальные системы. Теория и приложения, 22:4 (2018), 137–142 |
| 17. |
А. Ю. Коновалов, “Классическая истинность всех абсолютно арифметически реализуемых предикатных формул”, Интеллектуальные системы. Теория и приложения, 22:4 (2018), 111–114 |
| 18. |
А. Ю. Коновалов, “Критерий совпадения $V$-реализуемости формул расширения $L$ языка арифметики с классической семантикой языка $L$”, Интеллектуальные системы. Теория и приложения, 22:3 (2018), 127–130 |
1
|
| 19. |
А. Ю. Коновалов, “Некорректность интуиционистской логики относительно $L$-реализуемости”, Интеллектуальные системы. Теория и приложения, 22:3 (2018), 41–44 |
1
|
|
2017 |
| 20. |
А. Ю. Коновалов, “Семантика реализуемости для конструктивной теории множеств, основанная на гиперарифметических предикатах”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2017, № 3, 59–62 ; A. Yu. Konovalov, “The semantics of realizability for the constructive set theory based on hyperarithmetical predicates”, Moscow University Mathematics Bulletin, 72:3 (2017), 129–132 |
3
|
|
2016 |
| 21. |
А. Ю. Коновалов, “Арифметическая реализуемость и примитивно-рекурсивная реализуемость”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2016, № 4, 60–64 ; A. Yu. Konovalov, “Arithmetical realizability and primitive recursive realizability”, Moscow University Mathematics Bulletin, 71:4 (2016), 166–169 |
5
|
| 22. |
А. Ю. Коновалов, “Арифметическая реализуемость и базисная логика”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2016, № 1, 52–56 ; A. Yu. Konovalov, “Arithmetical realizability and basic logic”, Moscow University Mathematics Bulletin, 71:1 (2016), 35–38 |
14
|
|
2015 |
| 23. |
А. Ю. Коновалов, В. Е. Плиско, “О гиперарифметической реализуемости”, Матем. заметки, 98:5 (2015), 725–746  ; A. Yu. Konovalov, V. E. Plisko, “On Hyperarithmetical Realizability”, Math. Notes, 98:5 (2015), 778–797 |
12
|
|
