Documentos de trabajo (working papers)
URI permanente para esta colección
Examinar
Examinando Documentos de trabajo (working papers) por Materia "first-order logic"
Mostrando 1 - 3 de 3
Resultados por página
Opciones de ordenación
Ítem Proof Reconstruction: Parsing Proofs(Universidad EAFIT, 2015-06-10) Gómez-Londoño, Alejandro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Gómez-Londoño, Alejandro (agomezl@eafit.edu.co)Ítem Proof Reconstruction: Parsing Proofs(Universidad EAFIT, 2015-06-10) Montoya-Zapata, Diego Alejandro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; Montoya-Zapata, Diego Alejandro (dmonto39@eafit.edu.co)Ítem Proof-term reconstruction from TSTP to Agda(Universidad EAFIT, 2015-12-19) Gómez-Londoño, Alejandro; Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación; agomezl@eafit.edu.co; Gómez-Londoño, Alejandro (agomezl@eafit.edu.co)