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:
(50.00% artigos com DOI)
| Titulo | DOI | Ano |
|---|---|---|
| On the (In)Dependence of the Peano Axioms for Natural Numbers | 10.1080/01445340.2021.1971005 | 2021 |
| Game characterizations and lower cones in the Weihrauch degrees | 2019 | |
| Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks | 10.1017/bsl.2019.49 | 2019 |
| Game characterizations and lower cones in the Weihrauch degrees | 2017 | |
| Towards computable analysis on the generalised real line | 2017 | |
| Decomposition by maxclique separators | 10.1016/j.disc.2014.07.020 | 2014 |
| On characterizations by nice forbidding sets | 10.1016/j.endm.2011.09.039 | 2011 |
| Decomposition by maxclique separators | 2010 |
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 |