Сопрунов Сергей Федорович

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

1. Recent results on definability lattices of numerical structures
   А. Л. Семёнов, С. Ф. Сопрунов
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   9 ноября 2022 г. 16:00   
2. Бесконечные ветви в разрешимых деревьях
   С. Ф. Сопрунов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   9 апреля 2018 г. 18:30
3. The lattice of relational algebras definable in integers with successor
   Aleksei Semenov, Sergei Soprunov
   Международная конференция «Logical Models of Reasoning and Computation»
   3 февраля 2012 г. 12:45