Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Tsuiki, Hideki - Graduate School of Human and Environmental Studies, Kyoto University
Math. Struct. in Comp. Science (1993), vol. 11, pp. 1--000. Printed in the United Kingdom fl 1993 Cambridge University Press
Submitted to Topology Proceedings
Computational Dimension of Topological Spaces Hideki Tsuiki
Real Number Computation with Committed Choice Logic Programming Languages
102 APPENDIX B. THE DEFINITION OF M B.5 The definition of 3
Real Number Computation through Gray Code Embedding Hideki Tsuiki
A Domain-theoretic Semantics of Lax Generic Hideki Tsuiki
CCA 2002 Preliminary Version Representations of complete uniform spaces via
On Typed Calculi with a Merge Operator Hideki Tsuiki
SUDOKU Colorings of the Hexagonal Bipyramid Fractal
This is the online version of the paper in Proceedings Bridges 2010. 1 Imaginary Cubes
Imaginary Cubes --Objects with Three Square Projection Images --
This is the online version of the paper in Proceedings Bridges 2007. Does it Look Square?
Uniform Spaces and Uniform Domains ---Representing a Uniform space + a Base
