Publicación:
Proof-term reconstruction from TSTP to Agda

Archivos

tstp2agda.pdf (769.14 KB)

Fecha

2015-12-19

Autores

Gómez-Londoño, Alejandro

Título de la revista

ISSN de la revista

Título del volumen

Editor

Universidad EAFIT

Proyectos de investigación

Unidades organizativas

Número de la revista

Resumen

Descripción

Palabras clave

first-order logic, proof-term reconstruction, proof assistants

Citación

URI

https://hdl.handle.net/10784/7944

Colecciones

Documentos de trabajo (working papers)