Hugo de Holanda Cunha Nobrega
Instituição:
Universidade Federal do Rio de Janeiro
Centro:
Centro de Ciências Matemáticas e da Natureza
Unidade:
Instituto de Matemática
Departamento:
Departamento de Ciência da Computação/I Mat
Formação:
-
Universidade Federal do Rio de Janeiro
| Pós-Doutorado | 2018 - 2018
-
Universiteit van Amsterdam
Lógica | Doutorado | 2014 - 2018
-
Universiteit van Amsterdam
Lógica | Mestrado | 2011 - 2013
-
Universidade Federal do Rio de Janeiro
Engenharia de Sistemas e Computação | Mestrado | 2009 - 2011
-
Universidade Federal Fluminense
Matemática | Graduação | 2005 - 2008
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:
Nenhum artigo cadastrado
Eventos:
(11.11% eventos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| On the (in)dependence of the Dedekind-Peano axioms for natural numbers | 10.5540/03.2017.005.01.0239 | 2017 |
| Towards computable analysis on the generalised real line | 2017 | |
| Game Characterizations and Lower Cones in the Weihrauch Degrees | 2017 | |
| Game characterizations and Weihrauch degrees | 2015 | |
| Game characterizations of functions of finite Baire class | 2015 | |
| Decomposições por cliques maximais e subgrafos proibidos para grafos de caminho | 2012 | |
| Characterizations by nice forbidding sets | 2011 | |
| A partial characterization by forbidden subgraphs of edge path graphs | 2011 | |
| Decompositions by maxclique separators | 2010 |