Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Hernández-Quiroz, Francisco
Statistics Math-Net.Ru
Presentations:
1
Number of views:
This page:
71
Website:
http://hp.fciencias.unam.mx/~fhq/
https://www.mathnet.ru/eng/person56761
List of publications on Google Scholar
List of publications on ZentralBlatt
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
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024