Смирнов Иван Валерьевич

Доклады и лекции в базе данных Math-Net.Ru

1. Ординальные инварианты гомоморфных предпорядков к-размеченных лесов
   В. Л. Селиванов, И. В. Смирнов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   24 марта 2025 г. 16:00