Universidad Nacional de Córdoba
»
Facultad de Matemática, Astronomía y Física
»
Sección de Ciencias de la Computación
»
Documentos
Araceli Acosta, Pablo F. Castro and Nazareno M. Aguirre, "
De una Lógica Deóntica Proposicional a mu-calculus
", Reporte Técnico, FaMAF, Universidad Nacional de Córdoba, 2012.