Back to Search Start Over

Proof-term reconstruction from TSTP to Agda

Authors :
Gómez-Londoño, Alejandro
Universidad EAFIT. Escuela de Ciencias. Grupo de Investigación en Lógica y Computación
Publication Year :
2015
Publisher :
Universidad EAFIT, 2015.

Subjects

Subjects :
proof-term reconstruction
proof assistants
first-order logic

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.od......2653..05aaef58cb2cf9d2e5cb8eef9821954d

Tools

Authors Abstract Subjects Details