Shilov Nikolai Vyacheslavovich

Presentations in Math-Net.Ru

1. Some remarks on well-structured transition systems
   Nikolay Shilov
   Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
   June 13, 2023 15:00   
2. Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions
   N. V. Shilov, D. A. Kondrat'ev
   Logical Perspectives 2021: Summer School and Workshop
   June 17, 2021 12:30