Vista de On automating the extraction of programs from termination proofs

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