Indução de indemonstrabilidades e independências em Complexidade Computacional
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
-
Aritmética de Peano
-
Caracterização de Classes de Complexidade
-
Complexidade Computacional
-
Fundamentos da Matemática - Lógica
-
Indemonstrabilidade e Independência em Teorias
-
Teoria da Computação
-
decidibilidade
Identidade
identificador BrCris
-
252fa4532ee9c68e62a9484e54b11e87
identificador Oasisbr
-
USP_f0b92d36aae6f69082b3949c26c74be6