Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Vlasov, Dmitrii Yur'evich

Statistics Math-Net.Ru
Total publications: 5
Scientific articles: 4

Number of views:
This page:710
Abstract pages:1574
Full texts:687
References:174
Candidate of physico-mathematical sciences
E-mail: ,

https://www.mathnet.ru/eng/person29986
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/715384

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  mathnet  isi
2012
2. D. Yu. Vlasov, “Smm, the simpefied metamath”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 12:2 (2012),  13–25  mathnet
2011
3. D. Yu. Vlasov, “Russell, the Language for Formal Mathematics”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 11:2 (2011),  27–50  mathnet 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  mathnet  mathscinet  zmath; Siberian Math. J., 44:2 (2003), 235–243  isi

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  mathnet

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024