Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
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
Institute for Logic, Language and Computation, University of Amsterdam
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024