Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Berezun, Daniil Andreevich

Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:122
Abstract pages:449
Full texts:203
References:26

https://www.mathnet.ru/eng/person133377
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0001-6306-275X

Publications in Math-Net.Ru Citations
2019
1. A. V. Tyurin, I. V. Tyulyandin, V. S. Maltsev, I. A. Kirilenko, D. A. Berezun, “Overview of the languages for safe smart contract programming”, Proceedings of ISP RAS, 31:3 (2019),  157–176  mathnet  elib 2
2017
2. D. A. Berezun, “Complete head linear reduction”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:3 (2017),  59–82  mathnet

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