Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Venema Yde
Сайт: http://staff.science.uva.nl/~yde/

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

Доклады и лекции в базе данных 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   

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