Follow
Hideki Tsuiki
Hideki Tsuiki
Verified email at i.h.kyoto-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
Real number computation through Gray code embedding
H Tsuiki
Theoretical Computer Science 284 (2), 467-485, 2002
622002
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
292016
Intuitionistic fixed point logic
U Berger, H Tsuiki
Annals of Pure and Applied Logic 172 (3), 102903, 2021
212021
Compact metric spaces as minimal-limit sets in domains of bottomed sequences
H Tsuiki
Mathematical Structures in Computer Science 14 (6), 853-878, 2004
132004
Does it look square? Hexagonal bipyramids, triangular antiprismoids, and their fractals
H Tsuiki
Bridges Donostia: Mathematics, Music, Art, Architecture, Culture, 277-286, 2007
122007
A record calculus with a merge operator
H Tsuiki
PhD thesis, Keio University, 1992
121992
Dyadic subbases and efficiency properties of the induced {0, 1,⊥} ω-representations
H Tsuiki
Topology Proceedings 28 (2), 673-687, 2004
112004
Computational dimension of topological spaces
H Tsuiki
Computability and Complexity in Analysis: 4th International Workshop, CCA …, 2001
112001
Computable dyadic subbases and -representations of compact sets
A Pauly, H Tsuiki
arXiv preprint arXiv:1604.00258, 2016
102016
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
102011
On typed calculi with a merge operator
H Tsuiki
Foundation of Software Technology and Theoretical Computer Science: 14th …, 1994
101994
Imaginary cubes and their puzzles
H Tsuiki
Algorithms 5 (2), 273-288, 2012
82012
Imaginary cubes—objects with three square projection images
H Tsuiki
Proceedings of Bridges 2010: Mathematics, Music, Art, Architecture, Culture …, 2010
82010
SUDOKU colorings of the hexagonal bipyramid fractal
H Tsuiki
Kyoto International Conference on Computational Geometry and Graph Theory …, 2007
82007
Computability and complexity in analysis
V Brattka, P Hertling, KI Ko, H Tsuiki
Journal of Complexity 22 (6), 728-728, 2006
62006
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
62005
A normalizing calculus with overloading and subtyping
H Tsuiki
International Symposium on Theoretical Aspects of Computer Software, 273-295, 1994
61994
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
52020
Domain representations induced by dyadic subbases
H Tsuiki, Y Tsukamoyo
Logical Methods in Computer Science 11, 2015
52015
Imaginary hypercubes
H Tsuiki, Y Tsukamoto
Japanese Conference on Discrete and Computational Geometry and Graphs, 173-184, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20