Власов Дмитрий Юрьевич

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

1. Proof search algorithm in pure logical framework
   
   Сиб. электрон. матем. изв., 17 (2020),  988–998
2. Язык smm – упрощенный metamath
   
   Вестн. НГУ. Сер. матем., мех., информ., 12:2 (2012),  13–25
3. Язык формальной математики Russell
   
   Вестн. НГУ. Сер. матем., мех., информ., 11:2 (2011),  27–50
4. Строение алгебраических систем с полной теорией бесконечных подсистем
   
   Сиб. матем. журн., 44:2 (2003),  291–302


5. Евгений Андреевич Палютин (1945–2018)
   
   Сиб. электрон. матем. изв., 16 (2019),  1–10