Venema Yde

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