Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Gladyshev, Ilya Vladimirovich
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1

Number of views:
This page:34
Abstract pages:79
Full texts:48
References:19

https://www.mathnet.ru/eng/person159386
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-9922-4076

Publications in Math-Net.Ru Citations
2020
1. I. V. Gladyshev, A. S. Kamkin, A. M. Kotsynyak, P. A. Putro, A. V. Khoroshilov, “Architecture of a machine code deductive verification system”, Proceedings of ISP RAS, 32:3 (2020),  7–19  mathnet

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