Proof-term reconstruction from TSTP to Agda
| dc.contributor.author | Gómez-Londoño, Alejandro | |
| dc.contributor.department | Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación | spa |
| dc.contributor.eafitauthor | agomezl@eafit.edu.co | spa |
| dc.contributor.eafitauthor | Gómez-Londoño, Alejandro (agomezl@eafit.edu.co) | spa |
| dc.date.accessioned | 2016-01-27T14:13:52Z | |
| dc.date.available | 2016-01-27T14:13:52Z | |
| dc.date.issued | 2015-12-19 | |
| dc.format | application/pdf | eng |
| dc.identifier.uri | http://hdl.handle.net/10784/7944 | |
| dc.language.iso | eng | eng |
| dc.publisher | Universidad EAFIT | spa |
| dc.publisher.department | Escuela de Ciencias | spa |
| dc.publisher.program | Grupo de investigación en Lógica y Computación | spa |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
| dc.rights.local | Acceso abierto | spa |
| dc.subject | first-order logic | eng |
| dc.subject | proof-term reconstruction | eng |
| dc.subject | proof assistants | eng |
| dc.title | Proof-term reconstruction from TSTP to Agda | spa |
| dc.type | workingPaper | spa |
| dc.type | info:eu-repo/semantics/workingPaper | eng |
| dc.type.hasVersion | draft | spa |
| dc.type.local | Documento de trabajo de investigación | spa |
Archivos
Bloque original
1 - 1 de 1
No hay miniatura disponible
- Nombre:
- tstp2agda.pdf
- Tamaño:
- 769.14 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
Bloque de licencias
1 - 1 de 1
No hay miniatura disponible
- Nombre:
- license.txt
- Tamaño:
- 2.5 KB
- Formato:
- Item-specific license agreed upon to submission
- Descripción: