Busca avançada
Ano de início
Entree

Igor Carboni Oliveira

CV Lattes


Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC)  (Instituição-sede da última proposta de pesquisa)
País de origem: Brasil

Possui doutorado pela Columbia University e graduação e mestrado pela Universidade Estadual de Campinas (UNICAMP). Tem experiência em Complexidade Computacional, Algoritmos, Combinatória, e Lógica Matemática. (Fonte: Currículo Lattes)

Bolsas no país
Apoio FAPESP em números * Quantidades atualizadas em 19/10/2019
3 Bolsas no país concluídas

Processos vinculados
Colaboradores mais frequentes em auxílios e bolsas FAPESP
Contate o Pesquisador

Este canal da BV/FAPESP deve ser utilizado tão somente para mensagens, referentes aos projetos científicos financiados pela FAPESP.


 

 

 

 

Palavras-chave utilizadas pelo pesquisador
Publicações resultantes de Auxílios e Bolsas sob responsabilidade do(a) pesquisador(a) (1)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

OLIVEIRA, IGOR CARBONI; CARNIELLI, WALTER. The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. LOGIC JOURNAL OF THE IGPL, v. 16, n. 6, p. 585-590, . Citações Web of Science: 1. (04/14107-2)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

OLIVEIRA, Igor Carboni. Complexidade computacional e o problema P vs NP. 2010. Dissertação (Mestrado) - Instituto de Matemática, Estatística e Computação Científica. Universidade Estadual de Campinas (UNICAMP). (08/07040-0)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.
Por favor, reporte erros na informação da página do pesquisador escrevendo para: cdi@fapesp.br.
X

Reporte um problema na página


Detalhes do problema: