Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Martel Mauricio
В базах данных Math-Net.Ru
Лекций и докладов:
1
Статистика просмотров:
Эта страница:
42
E-mail:
email
Сайт:
http://www.informatik.uni-bremen.de/~martel/papers.html
https://www.mathnet.ru/rus/person131338
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Доклады и лекции в базе данных
Math-Net.Ru
1.
Relation-changing modal logics: some model and proof theoretic aspects
M. Martel
Workshop on Proof Theory, Modal Logic and Reflection Principles
19 октября 2017 г.
14:00
Организации
University of Bremen
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024