RUS
ENG
Full version
PEOPLE
Selivanov Viktor L'vovich
Presentations in Math-Net.Ru
Ordinal invariants of homomorphic quasiorders of k-labelled forests
V. L. Selivanov, I. V. Smirnov
Seminars "Proof Theory" and "Logic Online Seminar"
March 24, 2025
16:00
A Mathematical Journey
Victor Selivanov
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
October 29, 2022
17:40
Primitive Recursive Ordered Fields and Some Applications
V. L. Selivanov
Seminars "Proof Theory" and "Logic Online Seminar"
October 4, 2021
18:30
Complexity of structures
P. E. Alaev, V. L. Selivanov
Adian 90: Conference on Mathematical Logic, Algebra, and Computation
July 8, 2021
12:45
©
Steklov Math. Inst. of RAS
, 2025