|
|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
| 1. |
D. Yu. Vlasov, “Proof search algorithm in pure logical framework”, Sib. Èlektron. Mat. Izv., 17 (2020), 988–998   |
|
2012 |
| 2. |
D. Yu. Vlasov, “Smm, the simpefied metamath”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 12:2 (2012), 13–25 |
|
2011 |
| 3. |
D. Yu. Vlasov, “Russell, the Language for Formal Mathematics”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:2 (2011), 27–50 |
1
|
|
2003 |
| 4. |
D. Yu. Vlasov, “Structure of the algebraic systems with the complete theory of infinite subsystems”, Sibirsk. Mat. Zh., 44:2 (2003), 291–302   ; Siberian Math. J., 44:2 (2003), 235–243 |
|
|
|
2019 |
| 5. |
Yu. L. Ershov, S. S. Goncharov, V. D. Mazurov, B. S. Baizhanov, B. Sh. Kulpeshov, P. E. Alaev, A. V. Vasil'ev, E. V. Vasil'ev, E. P. Vdovin, V. V. Verbovskii, A. A. Vikent'ev, D. Yu. Vlasov, M. A. Grechkoseeva, V. N. Zhelyabin, P. S. Kolesnikov, V. M. Kopytov, L. L. Maksimova, I. A. Mal'tsev, A. S. Morozov, A. A. Nikitin, E. V. Ovchinnikova, S. P. Odintsov, D. E. Pal'chunov, N. A. Peryazev, A. G. Pinus, L. N. Pobedin, A. P. Pozhidaev, B. Poizat, V. G. Puzarenko, D. O. Revin, V. N. Remeslennikov, N. S. Romanovskii, A. N. Ryaskin, S. S. Starchenko, A. A. Stepanova, S. V. Sudoplatov, E. I. Timoshenko, D. A. Tusupov, N. G. Khisamiev, V. A. Churkin, Z. Chatzidakis, M. V. Schwidefsky, K. M. Shegirov, I. P. Shestakov, “Evgenii Andreevich Palyutin (1945–2018)”, Sib. Èlektron. Mat. Izv., 16 (2019), 1–10 |
|
| Organisations |
|
| |
|
|
Contact us: