|
|
|
Publications in Math-Net.Ru |
Citations |
|
2002 |
| 1. |
B. Yu. Konev, T. Jebelean, “Solution lifting method for handling Meta-variables in the TH$\exists$OREM$\forall$ system”, Zap. Nauchn. Sem. POMI, 293 (2002), 94–117    ; J. Math. Sci. (N. Y.), 126:3 (2005), 1182–1194 |
5
|
|
2001 |
| 2. |
B. Yu. Konev, “Upper bound on the height of terms in proofs with bound-depth-restricted cuts”, Zap. Nauchn. Sem. POMI, 277 (2001), 80–103 ; J. Math. Sci. (N. Y.), 118:2 (2003), 4982–4993 |
1
|
|
1997 |
| 3. |
B. Yu. Konev, “Refinement of bounds of the heights of terms in the most general unifer”, Zap. Nauchn. Sem. POMI, 241 (1997), 117–134 ; J. Math. Sci. (New York), 98:4 (2000), 490–499 |
1
|
|
|
|
2013 |
| 4. |
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   |
|
2001 |
| 5. |
M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Uspekhi Mat. Nauk, 56:3(339) (2001), 181–184 ; Russian Math. Surveys, 56:3 (2001), 601–605 |
1
|
|
| Organisations |
|
| |
|
|
Contact us: