Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Davydov, Artem Vasil'evich
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:133
Abstract pages:582
Full texts:219
References:48
E-mail:

https://www.mathnet.ru/eng/person63668
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-8703-3096

Publications in Math-Net.Ru Citations
2024
1. A. V. Davydov, A. A. Larionov, N. V. Nagul, “On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems”, Model. Anal. Inform. Sist., 31:1 (2024),  54–77  mathnet
2010
2. A. V. Davydov, A. A. Larionov, E. A. Cherkashin, “On the calculus of positively constructed formulas for authomated theorem proving”, Model. Anal. Inform. Sist., 17:4 (2010),  60–70  mathnet 1

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