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
29 2016 Intuitionistic fixed point logic U Berger, H Tsuiki
Annals of Pure and Applied Logic 172 (3), 102903, 2021
21 2021 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 Does it look square? Hexagonal bipyramids, triangular antiprismoids, and their fractals H Tsuiki
Bridges Donostia: Mathematics, Music, Art, Architecture, Culture, 277-286, 2007
12 2007 A record calculus with a merge operator H Tsuiki
PhD thesis, Keio University, 1992
12 1992 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 Imaginary cubes and their puzzles H Tsuiki
Algorithms 5 (2), 273-288, 2012
8 2012 Imaginary cubes—objects with three square projection images H Tsuiki
Proceedings of Bridges 2010: Mathematics, Music, Art, Architecture, Culture …, 2010
8 2010 SUDOKU colorings of the hexagonal bipyramid fractal H Tsuiki
Kyoto International Conference on Computational Geometry and Graph Theory …, 2007
8 2007 Computability and complexity in analysis V Brattka, P Hertling, KI Ko, H Tsuiki
Journal of Complexity 22 (6), 728-728, 2006
6 2006 CCA 2005-Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan T Grubba, P Hertling, H Tsuiki, K Weihrauch
volume 326-7/2005 of Informatik Berichte. FernUniversität Hagen, Germany, 2005
6 2005 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 ExtractionU 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 Imaginary hypercubes H Tsuiki, Y Tsukamoto
Japanese Conference on Discrete and Computational Geometry and Graphs, 173-184, 2013
5 2013