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 7 a 26 de 30 < Anterior   Siguiente >
Vista previaTítuloSustentanteFecha de publicación
0735684.pdf.jpgImplementaciones funcionales de árboles roji-negrosLópez Campos, Graciela2015
0754420.pdf.jpgInductive and coinductive types in homotopy type theory : an experiment on the knaster-tarski constructionDomínguez Sánchez, Jesús Héctor2017
0650950_A1.pdf.jpgInstituciones y [pi]-instituciones : formalización categórica de la noción de estructura lógicaChávez Aguilera, Cecilia2009
0752719.pdf.jpgLa equivalencia entre lógica y autómatasZenil Rivas, Pablo Enrique2016
0719132.pdf.jpgLa reducción de la teoría de tipos de hintikka a la lógica de segundo ordenSalinas Rodríguez, Mauricio2014
0737433.pdf.jpgListas de acceso aleatorioEnríquez Lavida, Francisco Javier2015
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
Mostrando resultados 7 a 26 de 30 < Anterior   Siguiente >