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