Hideki Tsuiki

Identifiers

• name variant Hideki Tsuiki 0.60 · backfill

Papers (3)

1. Extracting total Amb programs from proofs cs.LO · 2023 · author #2
2. Computable dyadic subbases and $\mathbf{T}^\omega$-representations of compact sets cs.LO · 2016 · author #2
3. Every Separable Metrizable Space has a Proper Dyadic Subbase math.GN · 2013 · author #2

Mentions

• 1305.3393 #2 · backfill · confidence 0.70 Hideki Tsuiki

Frequent Coauthors

• Arno Pauly 1 shared papers
• Haruto Ohta 1 shared papers
• Kohzo Yamada 1 shared papers
• Ulrich Berger 1 shared papers