Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Góngora Pedro Arturo
В базах данных Math-Net.Ru
Лекций и докладов:
1
Статистика просмотров:
Эта страница:
81
https://www.mathnet.ru/rus/person56760
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
Доклады и лекции в базе данных
Math-Net.Ru
1.
A complete proof system for a dynamic epistemic logic based upon finite
$\pi$
-calculus processes
Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández-Quiroz
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
25 августа 2010 г.
09:15
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024