Un sencillo y eficiente verificador al vuelo para la lógica temporal CTL* escrito en Haskell

Sinodales:
DAVID ARTURO ROSENBLUETH LAGUETTE;
Autores:
Vázquez Reyes, Cenobio Moisés
Tipo de tesis:
Tesis de Maestría
Entidad presentadora de examen profesional:
Coordinación de Estudios de Posgrado
Entidades por adscripción en la UNAM:
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas;