Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Славнов Сергей Андреевич
E-mail:
email
https://www.mathnet.ru/rus/person38315
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/745888
Публикации в базе данных
Math-Net.Ru
Цитирования
2005
1.
S. Slavnov, “On completeness of dynamic topological logic”,
Mosc. Math. J.
,
5
:2 (2005),
477–492
11
Доклады и лекции в базе данных
Math-Net.Ru
1.
Логика тензорных термов для категориальных грамматик
С. А. Славнов
Некоторые применения математических методов в языкознании
6 ноября 2025 г.
14:00
2.
Индексированное исчисление Ламбека с передвижением
С. А. Славнов
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
15 апреля 2025 г.
16:00
3.
Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики
С. А. Славнов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
20 ноября 2023 г.
18:30
Организации
Cornell University