Proof-term reconstruction from TSTP to Agda
- Autores:
-
Gómez-Londoño, Alejandro
- Tipo de recurso:
- Fecha de publicación:
- 2015
- Institución:
- Universidad EAFIT
- Repositorio:
- Repositorio EAFIT
- Idioma:
- eng
- OAI Identifier:
- oai:repository.eafit.edu.co:10784/7944
- Acceso en línea:
- http://hdl.handle.net/10784/7944
- Palabra clave:
- first-order logic
proof-term reconstruction
proof assistants
- Rights
- License
- Acceso abierto
| id |
REPOEAFIT2_05aaef58cb2cf9d2e5cb8eef9821954d |
|---|---|
| oai_identifier_str |
oai:repository.eafit.edu.co:10784/7944 |
| network_acronym_str |
REPOEAFIT2 |
| network_name_str |
Repositorio EAFIT |
| repository_id_str |
|
| spelling |
2016-01-27T14:13:52Z2015-12-192016-01-27T14:13:52Zhttp://hdl.handle.net/10784/7944application/pdfengUniversidad EAFITGrupo de investigación en Lógica y ComputaciónEscuela de Cienciasfirst-order logicproof-term reconstructionproof assistantsProof-term reconstruction from TSTP to AgdaworkingPaperinfo:eu-repo/semantics/workingPaperDocumento de trabajo de investigacióndrafthttp://purl.org/coar/version/c_b1a7d7d4d402bccehttp://purl.org/coar/resource_type/c_8042Acceso abiertohttp://purl.org/coar/access_right/c_abf2Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computaciónagomezl@eafit.edu.coGómez-Londoño, Alejandro (agomezl@eafit.edu.co)Gómez-Londoño, AlejandroLICENSElicense.txtlicense.txttext/plain; charset=utf-82556https://repository.eafit.edu.co/bitstreams/b07f34e4-fa06-497d-98b5-837e271d434c/download76025f86b095439b7ac65b367055d40cMD51ORIGINALtstp2agda.pdftstp2agda.pdfapplication/pdf787601https://repository.eafit.edu.co/bitstreams/54dbb71b-3d7d-4358-9bab-64f02a09f089/download6b43984b4774218792b33890bebab19aMD5210784/7944oai:repository.eafit.edu.co:10784/79442016-01-27 09:50:43.309open.accesshttps://repository.eafit.edu.coRepositorio Institucional Universidad EAFITrepositorio@eafit.edu.co |
| dc.title.spa.fl_str_mv |
Proof-term reconstruction from TSTP to Agda |
| title |
Proof-term reconstruction from TSTP to Agda |
| spellingShingle |
Proof-term reconstruction from TSTP to Agda first-order logic proof-term reconstruction proof assistants |
| title_short |
Proof-term reconstruction from TSTP to Agda |
| title_full |
Proof-term reconstruction from TSTP to Agda |
| title_fullStr |
Proof-term reconstruction from TSTP to Agda |
| title_full_unstemmed |
Proof-term reconstruction from TSTP to Agda |
| title_sort |
Proof-term reconstruction from TSTP to Agda |
| dc.creator.fl_str_mv |
Gómez-Londoño, Alejandro |
| dc.contributor.department.spa.fl_str_mv |
Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación |
| dc.contributor.eafitauthor.spa.fl_str_mv |
agomezl@eafit.edu.co Gómez-Londoño, Alejandro (agomezl@eafit.edu.co) |
| dc.contributor.author.none.fl_str_mv |
Gómez-Londoño, Alejandro |
| dc.subject.eng.fl_str_mv |
first-order logic proof-term reconstruction proof assistants |
| topic |
first-order logic proof-term reconstruction proof assistants |
| publishDate |
2015 |
| dc.date.issued.none.fl_str_mv |
2015-12-19 |
| dc.date.available.none.fl_str_mv |
2016-01-27T14:13:52Z |
| dc.date.accessioned.none.fl_str_mv |
2016-01-27T14:13:52Z |
| dc.type.spa.fl_str_mv |
workingPaper |
| dc.type.eng.fl_str_mv |
info:eu-repo/semantics/workingPaper |
| dc.type.coarversion.fl_str_mv |
http://purl.org/coar/version/c_b1a7d7d4d402bcce |
| dc.type.coar.fl_str_mv |
http://purl.org/coar/resource_type/c_8042 |
| dc.type.local.spa.fl_str_mv |
Documento de trabajo de investigación |
| dc.type.hasVersion.spa.fl_str_mv |
draft |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/10784/7944 |
| url |
http://hdl.handle.net/10784/7944 |
| dc.language.iso.eng.fl_str_mv |
eng |
| language |
eng |
| dc.rights.coar.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| dc.rights.local.spa.fl_str_mv |
Acceso abierto |
| rights_invalid_str_mv |
Acceso abierto http://purl.org/coar/access_right/c_abf2 |
| dc.format.eng.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad EAFIT |
| dc.publisher.program.spa.fl_str_mv |
Grupo de investigación en Lógica y Computación |
| dc.publisher.department.spa.fl_str_mv |
Escuela de Ciencias |
| institution |
Universidad EAFIT |
| bitstream.url.fl_str_mv |
https://repository.eafit.edu.co/bitstreams/b07f34e4-fa06-497d-98b5-837e271d434c/download https://repository.eafit.edu.co/bitstreams/54dbb71b-3d7d-4358-9bab-64f02a09f089/download |
| bitstream.checksum.fl_str_mv |
76025f86b095439b7ac65b367055d40c 6b43984b4774218792b33890bebab19a |
| bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
| repository.name.fl_str_mv |
Repositorio Institucional Universidad EAFIT |
| repository.mail.fl_str_mv |
repositorio@eafit.edu.co |
| _version_ |
1814110242242297856 |