The following pages link to Hideki Tsuiki (Q265833):
Displaying 34 items.
- A stream calculus of bottomed sequences for real number computation (Q265834) (← links)
- Unimodal maps as boundary restrictions of two-dimensional full-folding maps (Q409606) (← links)
- Independent subbases and non-redundant codings of separable metrizable spaces (Q616937) (← links)
- Lawson topology of the space of formal balls and the hyperbolic topology (Q949625) (← links)
- Hyperbolic topology of normed linear spaces (Q1041647) (← links)
- A domain-theoretic semantics of lax generic functions. (Q1398469) (← links)
- Real number computation through Gray code embedding. (Q1607300) (← links)
- Imaginary cubes and their puzzles (Q1736512) (← links)
- Real number computation with committed choice logic programming languages (Q1779564) (← links)
- Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (Q1945017) (← links)
- \textsc{Prawf}: an interactive proof system for program extraction (Q2106598) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- (Q2851547) (← links)
- Random Iteration Algorithm for Graph-Directed Sets (Q2917349) (← links)
- Imaginary Hypercubes (Q2945675) (← links)
- Sudoku Colorings of a 16-Cell Pre-fractal (Q2958110) (← links)
- (Q3368439) (← links)
- (Q3639069) (← links)
- Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions (Q3644797) (← links)
- A computationally adequate model for overloading via domain-valued functors (Q4236214) (← links)
- (Q4470496) (← links)
- (Q4490732) (← links)
- (Q4499218) (← links)
- (Q4531996) (← links)
- Properties of domain representations of spaces through dyadic subbases (Q4593246) (← links)
- Compact metric spaces as minimal-limit sets in domains of bottomed sequences (Q4659543) (← links)
- Representations of Complete Uniform Spaces via Uniform Domains (Q4916193) (← links)
- On Finite-time Computability Preserving Conversions (Q4918023) (← links)
- Learning Figures with the Hausdorff Metric by Fractals (Q4930707) (← links)
- Logic for Gray-code Computation (Q5221791) (← links)
- Domain Representations Induced by Dyadic Subbases (Q5246723) (← links)
- SUDOKU Colorings of the Hexagonal Bipyramid Fractal (Q5302757) (← links)
- Programming Languages and Systems (Q5316565) (← links)
- (Q5875594) (← links)
