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

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

Статистика просмотров:
Эта страница:218
Страницы публикаций:2

http://www.mathnet.ru/rus/person76753
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2011
1. А. А. Сорокин, “О длине совмещающего типа в исчислении Ламбека”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2011, 3,  10–14  mathnet  mathscinet  zmath; A. A. Sorokin, “The length of joins in Lambek calculus”, Moscow University Mathematics Bulletin, 66:3 (2011), 101–104

Доклады и лекции в базе данных Math-Net.Ru
1. Межфакультетский курс «Категориальные грамматики». Лекция 12
А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
4 мая 2016 г. 17:00   
2. Межфакультетский курс «Категориальные грамматики». Лекция 10
А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
20 апреля 2016 г. 17:00   
3. Межфакультетский курс «Категориальные грамматики». Лекция 5
А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
16 марта 2016 г. 17:00   
4. Межфакультетский курс «Категориальные грамматики». Лекция 4
С. Л. Кузнецов, А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
9 марта 2016 г. 17:00   
5. Межфакультетский курс «Категориальные грамматики». Лекция 1
С. Л. Кузнецов, А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
17 февраля 2016 г. 17:00
6. Отношение совместимости в исчислении Ламбека с операциями замещения
А. А. Сорокин
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
25 марта 2014 г. 18:30
7. Оценки на длину совмещающего типа в исчислении Ламбека
А. А. Сорокин
Семинар отдела математической логики «Алгоритмические вопросы алгебры и логики»
18 декабря 2012 г. 18:30
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020