Show simple item record

dc.date.available2016-01-27T14:13:52Z
dc.date.issued2015-12-19
dc.identifier.urihttp://hdl.handle.net/10784/7944
dc.formatapplication/pdfeng
dc.language.isoengeng
dc.publisherUniversidad EAFITspa
dc.subjectfirst-order logiceng
dc.subjectproof-term reconstructioneng
dc.subjectproof assistantseng
dc.titleProof-term reconstruction from TSTP to Agdaspa
dc.typeworkingPaperspa
dc.typeinfo:eu-repo/semantics/workingPapereng
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.publisher.programGrupo de investigación en Lógica y Computaciónspa
dc.publisher.departmentEscuela de Cienciasspa
dc.type.localDocumento de trabajo de investigaciónspa
dc.rights.localAcceso abiertospa
dc.date.accessioned2016-01-27T14:13:52Z
dc.type.hasVersiondraftspa
dc.contributor.departmentUniversidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computaciónspa
dc.contributor.authorGómez-Londoño, Alejandro


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record