Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Venema, Yde

Statistics Math-Net.Ru
Presentations: 2

Number of views:
This page:102
Website: http://staff.science.uva.nl/~yde/

https://www.mathnet.ru/eng/person57056
List of publications on Google Scholar
List of publications on ZentralBlatt

Presentations in Math-Net.Ru
1. Uniform interpolation for monotone modal logic
Santocanale Luigi, Yde Venema
The eighth International ņonference "Advances in Modal Logic" (AiML 2010)
August 26, 2010 11:50   
2. Coalgebraic Lindström theorems
Alexander Kurz, Yde Venema
The eighth International ņonference "Advances in Modal Logic" (AiML 2010)
August 25, 2010 15:35   

Organisations
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024