Proof-term reconstruction from TSTP to Agda

dc.contributorUniversidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación
dc.creatorGómez-Londoño, Alejandro
dc.date.accessioned2016-01-27T14:13:52Z
dc.date.accessioned2022-09-23T20:38:07Z
dc.date.available2016-01-27T14:13:52Z
dc.date.available2022-09-23T20:38:07Z
dc.date.created2016-01-27T14:13:52Z
dc.date.issued2015-12-19
dc.identifierhttp://hdl.handle.net/10784/7944
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/3518483
dc.languageeng
dc.publisherUniversidad EAFIT
dc.publisherGrupo de investigación en Lógica y Computación
dc.publisherEscuela de Ciencias
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsAcceso abierto
dc.subjectfirst-order logic
dc.subjectproof-term reconstruction
dc.subjectproof assistants
dc.titleProof-term reconstruction from TSTP to Agda
dc.typeworkingPaper
dc.typeinfo:eu-repo/semantics/workingPaper


Este ítem pertenece a la siguiente institución