Funcoes parciais recursivas e funcoes parcialmente Turing-computaveis: uma prova de equivalencia
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Teorema de Rice
-
função parcial recursiva
-
função recursiva
-
função recursiva primitiva
-
problema de decisão
Identidade
identificador BrCris
-
e240dbeb8d0ab9ae35fc65c10d4874ec
identificador Capes
identificador Oasisbr
-
UFPB_8be58510898bec8f6bc8ad64935b3fbe