Pattern models : dynamic epistemic logics for distributed systems

Sinodales:
ARMANDO CASTAÑEDA ROJANO; DAVID ARTURO ROSENBLUETH LAGUETTE;
Autores:
Velázquez Cervantes, Diego Alejandro
Tipo de tesis:
Tesis de Doctorado
Entidad presentadora de examen profesional:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas
Entidades por adscripción en la UNAM:
Instituto de Matemáticas;