On automating the extraction of programs from termination proofs

Autor

Kamareddine, Fairouz

Monin, François

Ayala Rincón, Mauricio

Metadatos

Mostrar el registro completo del ítem

URI

http://test.repositoriodigital.com:8080/handle/123456789/13862

Colecciones

UNAB Revista Colombiana de Computación [207]