On Finite-time Computability Preserving Conversions
暂无分享,去创建一个
[1] Douglas Lind,et al. An Introduction to Symbolic Dynamics and Coding , 1995 .
[2] Klaus Weihrauch,et al. Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.
[3] Hideki Tsuiki,et al. On Finite-time Computability Preserving Conversions , 2008, Electron. Notes Theor. Comput. Sci..
[4] K. Hofmann,et al. Continuous Lattices and Domains , 2003 .
[5] Hideki Tsuiki,et al. Real number computation through Gray code embedding , 2002, Theor. Comput. Sci..
[6] P. Daniel Hestand,et al. Mathematical theory of domains , 2002, SIGA.