|
|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
| 1. |
S. Soloviev, J. Malakhovski, “Automorphisms of types and their applications”, Zap. Nauchn. Sem. POMI, 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”, Zap. Nauchn. Sem. POMI, 421 (2014), 19–32 ; J. Math. Sci. (N. Y.), 200:6 (2014), 654–661 |
1
|
|
2012 |
| 3. |
S. N. Baranov, B. Boisvert, S. V. Solov'ev, L. Féraud, “Applications of typed $\lambda$-terms to categorical attributed graph transformations”, Tr. SPIIRAN, 23 (2012), 296–323 |
|
2009 |
| 4. |
A. El Khoury, S. Soloviev, L. Mehats, M. Spivakovsky, “Categorical interpretation of logical derivations and some its applications to algebra”, Zap. Nauchn. Sem. POMI, 373 (2009), 318–344 ; J. Math. Sci. (N. Y.), 168:3 (2010), 491–503 |
|
1987 |
| 5. |
S. V. Solov'ev, “Natural transformations of superpositions of selected functors in some closed categories”, Zap. Nauchn. Sem. LOMI, 160 (1987), 257–261  |
|
1981 |
| 6. |
S. V. Solov'ev, “The category of finite sets and Cartesian closed categories”, Zap. Nauchn. Sem. LOMI, 105 (1981), 174–194  ; J. Soviet Math., 22:3 (1981), 1387–1400 |
38
|
|
1979 |
| 7. |
S. V. Solov'ev, “Preservation of the equivalence of proofs under reduction of the formula depth”, Zap. Nauchn. Sem. LOMI, 88 (1979), 197–208 ; J. Soviet Math., 20:4 (1982), 2370–2376 |
2
|
| 8. |
S. V. Solov'ev, “A growth of length of $\mathrm L$-derivationtrans formed into natural deduction”, Zap. Nauchn. Sem. LOMI, 88 (1979), 192–196 ; J. Soviet Math., 20:4 (1982), 2367–2369 |
1
|
| 9. |
A. A. Babaev, S. V. Solov'ev, “A coherence theorem for canonical morphisms in cartesian closed categories”, Zap. Nauchn. Sem. LOMI, 88 (1979), 3–29 ; J. Soviet Math., 20:4 (1982), 2263–2279 |
10
|
|
|
|
2023 |
| 10. |
S. V. Soloviev, “On early period of N. A. Shanin's scientific biography”, Zap. Nauchn. Sem. POMI, 528 (2023), 195–213 |
|
2013 |
| 11. |
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)”, Uspekhi Mat. Nauk, 68:4(412) (2013), 173–176  ; Russian Math. Surveys, 68:4 (2013), 763–767  |
|
| Organisations |
|
| |
|
|
Contact us: