Vlasov Dmitrii Yur'evich

Publications in Math-Net.Ru

1. Proof search algorithm in pure logical framework
   
   Sib. Èlektron. Mat. Izv., 17 (2020),  988–998
2. Smm, the simpefied metamath
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 12:2 (2012),  13–25
3. Russell, the Language for Formal Mathematics
   
   Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:2 (2011),  27–50
4. Structure of the algebraic systems with the complete theory of infinite subsystems
   
   Sibirsk. Mat. Zh., 44:2 (2003),  291–302


5. Evgenii Andreevich Palyutin (1945–2018)
   
   Sib. Èlektron. Mat. Izv., 16 (2019),  1–10