The degree structure of Weihrauch-reducibility K Higuchi, A Pauly Logical Methods in Computer Science 9, 2013 | 53 | 2013 |
Inside the Muchnik degrees I: Discontinuity, learnability and constructivism K Higuchi, T Kihara Annals of Pure and Applied Logic 165 (5), 1058-1114, 2014 | 19 | 2014 |
Propagation of partial randomness K Higuchi, WMP Hudelson, SG Simpson, K Yokoyama Annals of Pure and Applied Logic 165 (2), 742-758, 2014 | 15 | 2014 |
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions K Higuchi, T Kihara Annals of Pure and Applied Logic 165 (6), 1201-1241, 2014 | 14 | 2014 |
On the strength of marriage theorems and uniformity M Fujiwara, K Higuchi, T Kihara Mathematical Logic Quarterly 60 (3), 136-153, 2014 | 9 | 2014 |
Weak theories of concatenation and minimal essentially undecidable theories: An encounter of and K Higuchi, Y Horihata Archive for Mathematical Logic 53, 835-853, 2014 | 8 | 2014 |
On the order dimension of locally countable partial orderings K Higuchi, S Lempp, D Raghavan, F Stephan Proceedings of the American Mathematical Society 148 (7), 2823-2833, 2020 | 7 | 2020 |
Effectively closed mass problems and intuitionism K Higuchi Annals of Pure and Applied Logic 163 (6), 693-697, 2012 | 7 | 2012 |
On effectively closed sets of effective strong measure zero K Higuchi, T Kihara Annals of Pure and Applied Logic 165 (9), 1445-1469, 2014 | 4 | 2014 |
Relative randomness for Martin-Löf random sets NN Peng, K Higuchi, T Yamazaki, K Tanaka How the World Computes: Turing Centenary Conference and 8th Conference on …, 2012 | 4 | 2012 |
On Values of Games ATA Ghani, K Higuchi EVOLVE-A Bridge between Probability, Set Oriented Numerics, and Evolutionary …, 2014 | 3 | 2014 |
Effective strong nullness and effectively closed sets K Higuchi, T Kihara Conference on Computability in Europe, 303-312, 2012 | 3 | 2012 |
Is Not a Heyting Algebra K Higuchi Conference on Computability in Europe, 190-194, 2010 | 3 | 2010 |
A Note on a Conjecture of Sacks: It is Harder to Embed Height Three Partial Orders than Height Two Partial Orders K Higuchi, P Lutz arXiv e-prints, arXiv: 2309.01876, 2023 | 1 | 2023 |
Improvement of sintering bed permeability with sintercake lead control (Development of sintercake lead control sintering-7) K Higuchi CURRENT ADVANCES IN MATERIALS AND PROCESSES 10, 801-801, 1997 | 1 | 1997 |
Mass problems and relative learnability K Higuchi, T Kihara unpublished notes, 0 | 1 | |
A Note on a Question of Sacks: It is Harder to Embed Height Three Partial Orders than Height Two Partial Orders K Higuchi, P Lutz arXiv preprint arXiv:2309.01876, 2023 | | 2023 |
Optimal Strategy Synthesis for Stochastic Boolean Games AT Ab Ghani, K Higuchi Journal of Physics: Conference Series 1988 (1), 012065, 2021 | | 2021 |
Defining a randomness notion via another K Higuchi, N Peng Mathematical Logic Quarterly 60 (4-5), 280-288, 2014 | | 2014 |
Ab Ghani, Ahmad Termimi 31 Adeyemo, Josiah 293, 307, 321 Amid, David 97 Anaby-Tavor, Ateret 97 T Avanesov, B Bischl, D Boaz, F Bux, Y Cai, S Chen, JF Cruz, B Datta, ... EVOLVE-A Bridge between Probability, Set Oriented Numerics, and Evolutionary …, 2014 | | 2014 |