1
Assuntos:
“...Problema da parada...”
Verificação das propriedades computacionais de um modelo funcional de primeira-ordem
Tese