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 1 a 20 de 30  Siguiente >
Vista previaTítuloSustentanteFecha de publicación
0625203.pdf.jpgCoinduccion : de la teoria de categorias a la programacion funcionalGonzalez Huesca, Lourdes del Carmen2007
0697516.pdf.jpgComónadas y autómatas celularesFernández Sumano, Diego2012
0729091.pdf.jpgDeducción natural en lógica modal : una implementación en CoqLinares Arévalo, Pilar Selene2015
0694979.pdf.jpgEl contenido computacional de la lógica clásica a través de los cálculos λC Y λμ con tiposHernández, Noé Salomón2012
0637581_A1.pdf.jpgEl isomorfismo de Curry Howard, un fundamento lógico para la programación funcionalPacheco Gómez, Eduardo Gerónimo2008
Equivalencia en lenguajes de programación modales para S4Estrada Zavaleta, Ximena2021
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
Mostrando resultados 1 a 20 de 30  Siguiente >