On automating the extraction of programs from termination proofs

Não existem arquivos associados a este item.
Título: 
Autor(es) Principais: 
Outros identificadores: 
Data: 
7-Mar-2013
7-Mar-2013
2004
Tipo: 
Palavras-chave: 


Aparece nas coleções:Repositório Institucional – UNB