Ufferman Eric

Presentations in 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
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 25, 2010 09:15