|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
1. |
S. Soloviev, J. Malakhovski, “Automorphisms of types and their applications”, Зап. научн. сем. ПОМИ, 468 (2018), 287–308 ; J. Math. Sci. (N. Y.), 240:5 (2019), 692–706 |
|
2014 |
2. |
S. N. Baranov, S. V. Soloviev, “Conditionally reversible computations and weak universality in category theory”, Зап. научн. сем. ПОМИ, 421 (2014), 19–32 ; J. Math. Sci. (N. Y.), 200:6 (2014), 654–661 |
1
|
|
2012 |
3. |
С. Н. Баранов, Б. Буавер, С. В. Соловьев, Л. Феро, “Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов”, Тр. СПИИРАН, 23 (2012), 296–323 |
|
2009 |
4. |
А. Эль Кури, С. Соловьев, Л. Меац, М. Спиваковский, “Категорная интерпретация логических выводов и некоторые ее применения в алгебре”, Зап. научн. сем. ПОМИ, 373 (2009), 318–344 ; A. El Khoury, S. Soloviev, L. Mehats, M. Spivakovsky, “Categorical interpretation of logical derivations and some its applications to algebra”, J. Math. Sci. (N. Y.), 168:3 (2010), 491–503 |
|
1987 |
5. |
С. В. Соловьев, “О естественных преобразованиях суперпозиций выделенных функторов в некоторых замкнутых категориях”, Зап. научн. сем. ЛОМИ, 160 (1987), 257–261 |
|
1981 |
6. |
С. В. Соловьев, “Категория конечных множеств и декартово замкнутые категории”, Зап. научн. сем. ЛОМИ, 105 (1981), 174–194 ; S. V. Solov'ev, “The category of finite sets and Cartesian closed categories”, J. Soviet Math., 22:3 (1981), 1387–1400 |
38
|
|
1979 |
7. |
С. В. Соловьев, “Сохранение эквивалентности выводов при редукции глубины формул”, Зап. научн. сем. ЛОМИ, 88 (1979), 197–208 ; S. V. Solov'ev, “Preservation of the equivalence of proofs under reduction of the formula depth”, J. Soviet Math., 20:4 (1982), 2370–2376 |
2
|
8. |
С. В. Соловьев, “Рост длины секвенциального вывода при перестройке в натуральный”, Зап. научн. сем. ЛОМИ, 88 (1979), 192–196 ; S. V. Solov'ev, “A growth of length of $\mathrm L$-derivationtrans formed into natural deduction”, J. Soviet Math., 20:4 (1982), 2367–2369 |
1
|
9. |
А. А. Бабаев, С. В. Соловьев, “Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях”, Зап. научн. сем. ЛОМИ, 88 (1979), 3–29 ; A. A. Babaev, S. V. Solov'ev, “A coherence theorem for canonical morphisms in cartesian closed categories”, J. Soviet Math., 20:4 (1982), 2263–2279 |
10
|
|
|
|
2023 |
10. |
С. В. Соловьев, “О раннем периоде научной биографии Н. А. Шанина”, Зап. научн. сем. ПОМИ, 528 (2023), 195–213 |
|
2013 |
11. |
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013), 173–176 ; M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Russian Math. Surveys, 68:4 (2013), 763–767 |
|