Portal eduCapes: Buscando no repositório

Portal eduCapes
Seta

Navegando por Autor Kamareddiney, Fairouz

Mostrando resultados 1 a 2 de 2

On automating the extraction of programs from termination proofs
Kamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio
7-Mar-2013
★★★★★ (0)
On automating the extraction of programs from termination proofs
Kamareddiney, Fairouz; Monin, François; Ayala-Rincón, Mauricio
7-Mar-2013
★★★★★ (0)

Mostrando resultados 1 a 2 de 2