Towards computable analysis on the generalised real line L Galeotti, H Nobrega Conference on Computability in Europe, 246-257, 2017 | 20 | 2017 |
Game characterizations and lower cones in the Weihrauch degrees H Nobrega, A Pauly Logical Methods in Computer Science 15, 2019 | 11 | 2019 |
Game characterizations of function classes and Weihrauch degrees HHC Nobrega M. Sc. thesis, University of Amsterdam, 2013 | 10 | 2013 |
Game characterizations and lower cones in the weihrauch degrees H Nobrega, A Pauly Unveiling Dynamics and Complexity: 13th Conference on Computability in …, 2017 | 7 | 2017 |
Borel choice V Brattka, G Gherardi, R Hölzl, H Nobrega, A Pauly preparation, 0 | 7 | |
Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks H Nobrega Bulletin of Symbolic Logic 25 (4), 451-452, 2019 | 6 | 2019 |
A partial characterization by forbidden subgraphs of edge path graphs. MR Cerioli, H Nobrega, P Viana CTW, 109-112, 2011 | 4 | 2011 |
Decomposition by maxclique separators MR Cerioli, H Nobrega, P Viana Discrete mathematics 337, 119-126, 2014 | 2 | 2014 |
On the (in) dependence of the peano axioms for natural numbers MR Cerioli, H Nobrega, G Silveira, P Viana History and Philosophy of Logic 43 (1), 51-69, 2022 | 1 | 2022 |
On the (in) dependence of the Dedekind-Peano axioms for natural numbers M Cerioli, H Nobrega, G Silveira, P Viana Proceeding Series of the Brazilian Society of Computational and Applied …, 2017 | 1 | 2017 |
Game characterizations and Weihrauch degrees B Löwe, H Nobrega, A Pauly Computability and Complexity in Analysis, 42, 2015 | | 2015 |
ILLC PhD Pilot Study H Nobrega | | 2014 |
On characterizations by nice forbidding sets MR Cerioli, H Nobrega, P Viana Electronic Notes in Discrete Mathematics 38, 233-238, 2011 | | 2011 |
DECOMPOSIÇÃO POR CLIQUES MAXIMAIS E SUBGRAFOS PROIBIDOS PARA GRAFOS DE CAMINHO HHC Nobrega Universidade Federal do Rio de Janeiro, 2011 | | 2011 |
DVMLG B Löwe, HD Macpherson, K Meer, H Nobrega, G Asser, M Arslanov, ... | | 2011 |