1. Repositorio de Tesis DGBSDI

Buscar por Asesor Miranda Perea, Favio Ezequiel

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 13 a 30 de 30 < Anterior 
Vista previaTítuloSustentanteFecha de publicación
0836829.pdf.jpgManual de laboratorio para el uso de Estructuras DiscretasCalderón Pérez, Daniela2019
0735095.pdf.jpgManufactura de tipos de datos mediante multiconjuntosLauro Aguilar, Martha Daniela Abigail2015
0671423_A1.pdf.jpgMétodos formales ligeros : especificación de un sistema de correo electrónico en el analizador AlloyCortés Ortiz, Juan Carlos2011
0671478_A1.pdf.jpgMétodos formales ligeros : especificación de un sistema de elevadores en el analizador AlloyJiménez del Valle, Rodrigo2011
0746652.pdf.jpgMónadas en la programación funcional : una prueba formal de su equivalencia con las ternas de KleisliVázquez Reyes, Cenobio Moisés2016
0832970.pdf.jpgPiULL session types verification using COQGarcía López, Ciro Iván2022
0653610_A1.pdf.jpgProgramación dinámica puramente funcional : el caso de la memoizaciónGonzález Huesca, Lourdes del Carmen2010
0845443.pdf.jpgSeguridad de sistemas de tipos vía verificación de modelosSoto Romero, Manuel2023
0834892.pdf.jpgSistemas de tipos categóricos para recursión por curso de valoresEnríquez Mendoza, Javier2023
Síntesis interactiva de programas con tipos modalesOmaña Silva, Sammantha2021
0711091.pdf.jpgTipos anidados para estructuras cíclicas puramente funcionalesMorales Huitrón, Alejandro Ehecatl2014
0744277.pdf.jpgUn compilador correcto verificado de mini-ml a la máquina SECD en CoqZúñiga Chávez, Ángel Francisco2016
0681175.pdf.jpgUna implementación funcional de máquinas de TuringRamos Ramos, José2012
0759788.pdf.jpgUna implementación polimórfica de ISWIMMurillo Albarrán, Diego2017
0852945.pdf.jpgUna prueba de eliminación de corte para la lógica GLJaimes Urban, Ricardo2024
0792722.pdf.jpgVerificación formal del cálculo λSF en CoqTorres Ruiz, Mateo Alberto2019
0776097.pdf.jpgVerificación formal del zipper relacional simétricoGalicia Mendoza, Fernando Abigail2018
0776256.pdf.jpgVerificación formal en lógica modalPrieto Larios, Estefanía2018
Mostrando resultados 13 a 30 de 30 < Anterior