Selivanov Viktor L'vovich

Presentations in Math-Net.Ru

1. A Mathematical Journey
   Victor Selivanov
   Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
   October 29, 2022 17:40   
2. Primitive Recursive Ordered Fields and Some Applications
   V. L. Selivanov
   Seminars "Proof Theory" and "Logic Online Seminar"
   October 4, 2021 18:30   
3. Complexity of structures
   P. E. Alaev, V. L. Selivanov
   Adian 90: Conference on Mathematical Logic, Algebra, and Computation
   July 8, 2021 12:45