Smirnov Ivan Valer'evich

Presentations in Math-Net.Ru

1. 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