Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Venema Yde
В базах данных Math-Net.Ru
Лекций и докладов:
2
Статистика просмотров:
Эта страница:
127
Сайт:
http://staff.science.uva.nl/~yde/
https://www.mathnet.ru/rus/person57056
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Доклады и лекции в базе данных
Math-Net.Ru
1.
Uniform interpolation for monotone modal logic
Santocanale Luigi, Yde Venema
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
26 августа 2010 г.
11:50
2.
Coalgebraic Lindström theorems
Alexander Kurz, Yde Venema
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
25 августа 2010 г.
15:35
Организации
Institute for Logic, Language and Computation, University of Amsterdam
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024