Konev Boris Yur'evich

Publications in Math-Net.Ru

1. Solution lifting method for handling Meta-variables in the TH$\exists$OREM$\forall$ system
   
   Zap. Nauchn. Sem. POMI, 293 (2002),  94–117
2. Upper bound on the height of terms in proofs with bound-depth-restricted cuts
   
   Zap. Nauchn. Sem. POMI, 277 (2001),  80–103
3. Refinement of bounds of the heights of terms in the most general unifer
   
   Zap. Nauchn. Sem. POMI, 241 (1997),  117–134


4. Nikolai Aleksandrovich Shanin (obituary)
   
   Uspekhi Mat. Nauk, 68:4(412) (2013),  173–176
5. Nikolai Aleksandrovich Shanin (on his 80th birthday)
   
   Uspekhi Mat. Nauk, 56:3(339) (2001),  181–184