Showing 1 - 20 results of 34 for search 'Miranda Perea, Favio Ezequiel', query time: 0.03s Refine Results
  1. 1
    Una prueba de consistencia de la aritmetica de Peano, del tipo de Gentzen
    by Miranda Perea, Favio Ezequiel
    Published 1997
    Get full text
    Get full text
    Tesis de licenciatura
  2. 2
    Fundamentos logicos del programa de razonamiento automatico Otter
    by Miranda Perea, Favio Ezequiel
    Published 1999
    Get full text
    Get full text
    Tesis de maestría
  3. 3
    Coinduccion : de la teoria de categorias a la programacion funcional
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  4. 4
    El isomorfismo de Curry Howard, un fundamento lógico para la programación funcional
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  5. 5
    Métodos formales ligeros : especificación de un sistema de correo electrónico en el analizador Alloy
    by Cortés Ortiz, Juan Carlos
    Published 2011
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  6. 6
    Métodos formales ligeros : especificación de un sistema de elevadores en el analizador Alloy
    by Jiménez del Valle, Rodrigo
    Published 2011
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  7. 7
    Una implementación funcional de máquinas de Turing
    by Ramos Ramos, José
    Published 2012
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  8. 8
    El lenguaje java peso pluma, la esencia del paradigma orientado a objetos
    by Mendoza Aguilar, Eduardo
    Published 2012
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    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
    by Hernández, Noé Salomón
    Published 2012
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  10. 10
    Comónadas y autómatas celulares
    by Fernández Sumano, Diego
    Published 2012
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  11. 11
    Tipos anidados para estructuras cíclicas puramente funcionales
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  12. 12
    La reducción de la teoría de tipos de hintikka a la lógica de segundo orden
    by Salinas Rodríguez, Mauricio
    Published 2014
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de maestría
  13. 13
    Manufactura de tipos de datos mediante multiconjuntos
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  14. 14
    Implementaciones funcionales de árboles roji-negros
    by López Campos, Graciela
    Published 2015
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  15. 15
    Listas de acceso aleatorio
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  16. 16
    La equivalencia entre lógica y autómatas
    by Zenil Rivas, Pablo Enrique
    Published 2016
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  17. 17
    Inductive and coinductive types in homotopy type theory : an experiment on the knaster-tarski construction
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de maestría
  18. 18
    Una implementación polimórfica de ISWIM
    by Murillo Albarrán, Diego
    Published 2017
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  19. 19
    Verificación formal del zipper relacional simétrico
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
  20. 20
    Verificación formal en lógica modal
    by Prieto Larios, Estefanía
    Published 2018
    Other Authors: “…Miranda Perea, Favio Ezequiel…”
    Get full text
    Get full text
    Tesis de licenciatura
Search Tools: RSS Feed – Email Search