Славнов Сергей Андреевич

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

1. Логика тензорных термов для категориальных грамматик
   С. А. Славнов
   Некоторые применения математических методов в языкознании
   6 ноября 2025 г. 14:00   
2. Индексированное исчисление Ламбека с передвижением
   С. А. Славнов
   Рабочий семинар по математической логике
   15 апреля 2025 г. 16:00   
3. Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики
   С. А. Славнов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   20 ноября 2023 г. 18:30