|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2002 |
1. |
Б. Ю. Конев, Т. Жебелеан, “Метод подъема решений для работы с метапеременными в системе TH$\exists$OREM$\forall$”, Зап. научн. сем. ПОМИ, 293 (2002), 94–117 ; B. Yu. Konev, T. Jebelean, “Solution lifting method for handling Meta-variables in the TH$\exists$OREM$\forall$ system”, J. Math. Sci. (N. Y.), 126:3 (2005), 1182–1194 |
5
|
|
2001 |
2. |
Б. Ю. Конев, “Верхняя оценка высоты термов в выводах с сечениями по формулам ограниченной глубины связанных вхождений”, Зап. научн. сем. ПОМИ, 277 (2001), 80–103 ; B. Yu. Konev, “Upper bound on the height of terms in proofs with bound-depth-restricted cuts”, J. Math. Sci. (N. Y.), 118:2 (2003), 4982–4993 |
1
|
|
1997 |
3. |
Б. Ю. Конев, “Уточнение оценок высоты термов в наиболее общем унификаторе”, Зап. научн. сем. ПОМИ, 241 (1997), 117–134 ; B. Yu. Konev, “Refinement of bounds of the heights of terms in the most general unifer”, J. Math. Sci. (New York), 98:4 (2000), 490–499 |
1
|
|
|
|
2013 |
4. |
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 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 |
|
2001 |
5. |
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к восьмидесятилетию со дня рождения)”, УМН, 56:3(339) (2001), 181–184 ; 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)”, Russian Math. Surveys, 56:3 (2001), 601–605 |
1
|
|