Конев Борис Юрьевич

Публикации в базе данных Math-Net.Ru

1. Метод подъема решений для работы с метапеременными в системе TH$\exists$OREM$\forall$
   
   Зап. научн. сем. ПОМИ, 293 (2002),  94–117
2. Верхняя оценка высоты термов в выводах с сечениями по формулам ограниченной глубины связанных вхождений
   
   Зап. научн. сем. ПОМИ, 277 (2001),  80–103
3. Уточнение оценок высоты термов в наиболее общем унификаторе
   
   Зап. научн. сем. ПОМИ, 241 (1997),  117–134


4. Николай Александрович Шанин (некролог)
   
   УМН, 68:4(412) (2013),  173–176
5. Николай Александрович Шанин (к восьмидесятилетию со дня рождения)
   
   УМН, 56:3(339) (2001),  181–184