Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Hernández-Quiroz, Francisco Website: http://hp.fciencias.unam.mx/~fhq/ https://www.mathnet.ru/eng/person56761 List of publications on Google Scholar 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    Organisations National Autonomous University of Mexico