Volver a los detalles del artÃculo
On automating the extraction of programs from termination proofs
Descargar
Descargar PDF