@article{Zheng, author = {Zheng, Xizhong}, title = {Recursive approximability of real numbers}, language = {de} } @article{Zheng, author = {Zheng, Xizhong}, title = {Closure properties on real numbers under limits and computable operators}, language = {en} } @article{RettingerZhengGengleretal., author = {Rettinger, Robert and Zheng, Xizhong and Gengler, Romain and Braunm{\"u}hl, Burchard von}, title = {Monotonically computable real numbers}, language = {en} } @article{ZhengRettingerBarmpalias, author = {Zheng, Xizhong and Rettinger, Robert and Barmpalias, George}, title = {h-Monotonically computable real numbers}, series = {Mathematical Logic Quarterly}, volume = {51}, journal = {Mathematical Logic Quarterly}, number = {2}, issn = {0942-5616}, pages = {157 -- 170}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Closure properties of real numbers classes under CBV functions}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Divergence bounded computable real numbers}, language = {en} } @article{ChenSuZheng, author = {Chen, Q. and Su, K. and Zheng, Xizhong}, title = {Primitive Recursive Real Numbers}, language = {en} } @article{ChenRettingerSuetal., author = {Chen, Q. and Rettinger, Robert and Su, K. and Sattar, A. and Yue, W. and Lu, G. and Zheng, Xizhong}, title = {Verification of Authentication Protocols for Epistemic Goals via SAT Compilation}, language = {en} } @article{ChenSuYueetal., author = {Chen, Q. and Su, K. and Yue, W. and Zheng, Xizhong}, title = {Instantiation Space: A New Model for Security Protocol Logic}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {On the Hierarchies of Delta 0_2 real Numbers}, language = {en} } @article{DowneyWuZheng, author = {Downey, Rod and Wu, D. and Zheng, Xizhong}, title = {Degrees of d.c.e. Reals}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Classification of Computably Approximable Real Numbers}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {A Hierarchy of Computably Enumerable Reals}, language = {en} }