|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
| 1. |
D. Yu. Vlasov, “Proof search algorithm in pure logical framework”, Сиб. электрон. матем. изв., 17 (2020), 988–998   |
|
2012 |
| 2. |
Д. Ю. Власов, “Язык smm – упрощенный metamath”, Вестн. НГУ. Сер. матем., мех., информ., 12:2 (2012), 13–25 |
|
2011 |
| 3. |
Д. Ю. Власов, “Язык формальной математики Russell”, Вестн. НГУ. Сер. матем., мех., информ., 11:2 (2011), 27–50 |
1
|
|
2003 |
| 4. |
Д. Ю. Власов, “Строение алгебраических систем с полной теорией бесконечных подсистем”, Сиб. матем. журн., 44:2 (2003), 291–302   ; D. Yu. Vlasov, “Structure of the algebraic systems with the complete theory of infinite subsystems”, Siberian Math. J., 44:2 (2003), 235–243 |
|
|
|
2019 |
| 5. |
Ю. Л. Ершов, С. С. Гончаров, В. Д. Мазуров, Б. С. Байжанов, Б. Ш. Кулпешов, П. Е. Алаев, А. В. Васильев, Е. В. Васильев, Е. П. Вдовин, В. В. Вербовский, А. А. Викентьев, Д. Ю. Власов, М. А. Гречкосеева, В. Н. Желябин, П. С. Колесников, В. М. Копытов, Л. Л. Максимова, И. А. Мальцев, А. С. Морозов, А. А. Никитин, Е. В. Овчинникова, С. П. Одинцов, Д. Е. Пальчунов, Н. А. Перязев, А. Г. Пинус, Л. Н. Победин, А. П. Пожидаев, Б. Пуаза, В. Г. Пузаренко, Д. О. Ревин, В. Н. Ремесленников, Н. С. Романовский, А. Н. Ряскин, С. С. Старченко, А. А. Степанова, С. В. Судоплатов, Е. И. Тимошенко, Д. А. Тусупов, Н. Г. Хисамиев, В. А. Чуркин, З. Шатзидакис, М. В. Швидефски, К. М. Шегиров, И. П. Шестаков, “Евгений Андреевич Палютин (1945–2018)”, Сиб. электрон. матем. изв., 16 (2019), 1–10 |
|
Обратная связь: