Buscas alternativas:
rice » rich (Expandir a busca), rise (Expandir a busca), rica (Expandir a busca)
rice » rich (Expandir a busca), rise (Expandir a busca), rica (Expandir a busca)
1
Assuntos:
“...Teorema de Rice...”
Verificação das propriedades computacionais de um modelo funcional de primeira-ordem
Tese
2
Assuntos:
“...Teorema de Rice...”
Funções parciais recursivas e funções parcialmente Turing-computáveis: uma prova de equivalência
Dissertação