Real number computation through Gray code embedding H Tsuiki Theoretical Computer Science 284 (2), 467-485, 2002 | 62 | 2002 |
Logic for Gray-code computation U Berger, K Miyamoto, H Schwichtenberg, H Tsuiki Concepts of proof in mathematics, philosophy, and computer science 12 (2 …, 2016 | 30 | 2016 |
Intuitionistic fixed point logic U Berger, H Tsuiki Annals of Pure and Applied Logic 172 (3), 102903, 2021 | 21 | 2021 |
Does it look square? Hexagonal bipyramids, triangular antiprismoids, and their fractals H Tsuiki Bridges Donostia: Mathematics, Music, Art, Architecture, Culture, 277-286, 2007 | 13 | 2007 |
Compact metric spaces as minimal-limit sets in domains of bottomed sequences H Tsuiki Mathematical Structures in Computer Science 14 (6), 853-878, 2004 | 13 | 2004 |
A record calculus with a merge operator H Tsuiki PhD thesis, Keio University, 1992 | 12 | 1992 |
Imaginary Cubes and Their Puzzles. H Tsuiki Algorithms 5 (2), 2012 | 11 | 2012 |
Dyadic subbases and efficiency properties of the induced {0, 1,⊥} ω-representations H Tsuiki Topology Proceedings 28 (2), 673-687, 2004 | 11 | 2004 |
Computational dimension of topological spaces H Tsuiki Computability and Complexity in Analysis: 4th International Workshop, CCA …, 2001 | 11 | 2001 |
Computable dyadic subbases and -representations of compact sets A Pauly, H Tsuiki arXiv preprint arXiv:1604.00258, 2016 | 10 | 2016 |
Independent subbases and non-redundant codings of separable metrizable spaces H Ohta, H Tsuiki, S Yamada Topology and its Applications 158 (1), 1-14, 2011 | 10 | 2011 |
On typed calculi with a merge operator H Tsuiki Foundation of Software Technology and Theoretical Computer Science: 14th …, 1994 | 10 | 1994 |
SUDOKU colorings of the hexagonal bipyramid fractal H Tsuiki Kyoto International Conference on Computational Geometry and Graph Theory …, 2007 | 9 | 2007 |
Imaginary cubes—objects with three square projection images H Tsuiki Proceedings of Bridges 2010: Mathematics, Music, Art, Architecture, Culture …, 2010 | 8 | 2010 |
Computability and complexity in analysis V Brattka, P Hertling, KI Ko, H Tsuiki Journal of Complexity 22 (6), 728-728, 2006 | 7 | 2006 |
Imaginary hypercubes H Tsuiki, Y Tsukamoto Japanese Conference on Discrete and Computational Geometry and Graphs, 173-184, 2013 | 6 | 2013 |
Enumerating 3D-Sudoku solutions over cubic prefractal objects H Tsuiki, Y Yokota Journal of information processing 20 (3), 667-671, 2012 | 6 | 2012 |
A normalizing calculus with overloading and subtyping H Tsuiki International Symposium on Theoretical Aspects of Computer Software, 273-295, 1994 | 6 | 1994 |
Prawf: An Interactive Proof System for Program Extraction U Berger, O Petrovska, H Tsuiki Beyond the Horizon of Computability: 16th Conference on Computability in …, 2020 | 5 | 2020 |
Domain representations induced by dyadic subbases H Tsuiki, Y Tsukamoyo Logical Methods in Computer Science 11, 2015 | 5 | 2015 |