Mostrando 1 - 20 Resultados de 34 Para Buscar 'Miranda Perea, Favio Ezequiel', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Una prueba de consistencia de la aritmetica de Peano, del tipo de Gentzen
    por Miranda Perea, Favio Ezequiel
    Publicado 1997
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  2. 2
    Fundamentos logicos del programa de razonamiento automatico Otter
    por Miranda Perea, Favio Ezequiel
    Publicado 1999
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  3. 3
    Coinduccion : de la teoria de categorias a la programacion funcional
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  4. 4
    El isomorfismo de Curry Howard, un fundamento lógico para la programación funcional
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  5. 5
    Métodos formales ligeros : especificación de un sistema de correo electrónico en el analizador Alloy
    por Cortés Ortiz, Juan Carlos
    Publicado 2011
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  6. 6
    Métodos formales ligeros : especificación de un sistema de elevadores en el analizador Alloy
    por Jiménez del Valle, Rodrigo
    Publicado 2011
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  7. 7
    Una implementación funcional de máquinas de Turing
    por Ramos Ramos, José
    Publicado 2012
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  8. 8
    El lenguaje java peso pluma, la esencia del paradigma orientado a objetos
    por Mendoza Aguilar, Eduardo
    Publicado 2012
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  9. 9
    El contenido computacional de la lógica clásica a través de los cálculos λC Y λμ con tipos
    por Hernández, Noé Salomón
    Publicado 2012
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  10. 10
    Comónadas y autómatas celulares
    por Fernández Sumano, Diego
    Publicado 2012
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  11. 11
    Tipos anidados para estructuras cíclicas puramente funcionales
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  12. 12
    La reducción de la teoría de tipos de hintikka a la lógica de segundo orden
    por Salinas Rodríguez, Mauricio
    Publicado 2014
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  13. 13
    Manufactura de tipos de datos mediante multiconjuntos
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  14. 14
    Implementaciones funcionales de árboles roji-negros
    por López Campos, Graciela
    Publicado 2015
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  15. 15
    Listas de acceso aleatorio
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  16. 16
    La equivalencia entre lógica y autómatas
    por Zenil Rivas, Pablo Enrique
    Publicado 2016
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  17. 17
    Inductive and coinductive types in homotopy type theory : an experiment on the knaster-tarski construction
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  18. 18
    Una implementación polimórfica de ISWIM
    por Murillo Albarrán, Diego
    Publicado 2017
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  19. 19
    Verificación formal del zipper relacional simétrico
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  20. 20
    Verificación formal en lógica modal
    por Prieto Larios, Estefanía
    Publicado 2018
    Otras Contribuciones: “…Miranda Perea, Favio Ezequiel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda