Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Iemhoff Rosalie
В базах данных Math-Net.Ru
Лекций и докладов:
1
Статистика просмотров:
Эта страница:
66
E-mail:
email
Сайт:
https://www.uu.nl/staff/RIemhoff/
https://www.mathnet.ru/rus/person165132
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://www.researchgate.net/profile/Rosalie_Iemhoff
Доклады и лекции в базе данных
Math-Net.Ru
1.
The role of uniform interpolation in structural proof theory
R. Iemhoff
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
18 января 2021 г.
18:30
Организации
Utrecht University
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024