Hideki Tsuiki

Kyoto University - Kyoto / Japan

Others

AD Scientific Index ID: 5962553

京都大学

Registration, Add Profile,
Premium Membership

Print Your Certificate

Hideki Tsuiki's MOST POPULAR ARTICLES

1-) Real number computation through Gray code embeddingH TsuikiTheoretical Computer Science 284 (2), 467-485, 2002622002

2-) Logic for Gray-code computationU Berger, K Miyamoto, H Schwichtenberg, H TsuikiConcepts of proof in mathematics, philosophy, and computer science 12 (2 …, 2016302016

3-) Intuitionistic fixed point logicU Berger, H TsuikiAnnals of Pure and Applied Logic 172 (3), 102903, 2021212021

4-) Does it look square? Hexagonal bipyramids, triangular antiprismoids, and their fractalsH TsuikiBridges Donostia: Mathematics, Music, Art, Architecture, Culture, 277-286, 2007132007

5-) Compact metric spaces as minimal-limit sets in domains of bottomed sequencesH TsuikiMathematical Structures in Computer Science 14 (6), 853-878, 2004132004

ARTICLES

Add your articles