Góngora Pedro Arturo

Доклады и лекции в базе данных 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