Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Славнов Сергей Андреевич

В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1
Лекций и докладов: 1

Статистика просмотров:
Эта страница:250
Страницы публикаций:296
Полные тексты:1
Списки литературы:48
E-mail:

https://www.mathnet.ru/rus/person38315
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
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  mathnet  mathscinet  zmath  isi 11

Доклады и лекции в базе данных Math-Net.Ru
1. Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики
С. А. Славнов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
20 ноября 2023 г. 18:30   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024