|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2023 |
| 1. |
А. Л. Семенов, С. Ф. Сопрунов, И. А. Иванов-Погодаев, “Создание новой математики школьниками”, Докл. РАН. Матем., информ., проц. упр., 511 (2023), 138–143   ; A. L. Semenov, S. F. Soprunov, I. A. Ivanov-Pogodaev, “Creating new mathematics by schoolchildren”, Dokl. Math., 107:Suppl 1 (2023), S132–S136 |
|
2021 |
| 2. |
А. Л. Семенов, С. Ф. Сопрунов, “Решетка определимости. Источники и направления исследований”, Чебышевский сб., 22:1 (2021), 304–327 ; A. L. Semenov, S. F. Soprunov, “The lattice of definability. Origins and directions of research”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 288–298 |
1
|
| 3. |
А. Л. Семёнов, С. Ф. Сопрунов, “Решетка определимости (редуктов) для целых чисел с операцией следования”, Изв. РАН. Сер. матем., 85:6 (2021), 245–258 ; A. L. Semenov, S. F. Soprunov, “Lattice of definability (of reducts) for integers with successor”, Izv. Math., 85:6 (2021), 1257–1269   |
5
|
|
2020 |
| 4. |
В. Б. Бетелин, А. Г. Кушниренко, А. Л. Семенов, С. Ф. Сопрунов, “О цифровой грамотности и средах ее формирования”, Информ. и её примен., 14:4 (2020), 100–107 |
9
|
|
2015 |
| 5. |
A. L. Semenov, S. F. Soprunov, “A combinatorial version of the Svenonius theorem on definability”, Log. J. IGPL, 23:6 (2015), 966–975 |
3
|
|
2011 |
| 6. |
А. Л. Семенов, С. Ф. Сопрунов, “Конечные кванторные иерархии в алгебрах отношений”, Труды МИАН, 274 (2011), 291–296  ; A. L. Semenov, S. F. Soprunov, “Finite quantifier hierarchies in relational algebras”, Proc. Steklov Inst. Math., 274 (2011), 267–272 |
2
|
|
1975 |
| 7. |
С. Ф. Сопрунов, “Начальные отрезки нестандартных арифметик”, Докл. АН СССР, 223:3 (1975), 576–577  |
| 8. |
С. Ф. Сопрунов, “Сильные нестандартные модели арифметики”, Докл. АН СССР, 220:2 (1975), 293–296 |
|
|
|
2021 |
| 9. |
Т. А. Рудченко, С. Ф. Сопрунов, А. Ю. Уваров, “Академику А. Л. Семенову – 70 лет”, Чебышевский сб., 22:1 (2021), 27–56 |
|
Обратная связь: