@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} } @misc{ZhengRettingerBraunmuehl, author = {Zheng, Xizhong and Rettinger, Robert and Braunm{\"u}hl, Burchard von}, title = {Effectively absolute continuity and effective Jordan decomposability}, series = {Electronic Notes in Theoretical Computer Science}, volume = {66}, journal = {Electronic Notes in Theoretical Computer Science}, number = {1}, issn = {1571-0661}, pages = {213 -- 224}, language = {en} } @inproceedings{RettingerZhengBraunmuehl, author = {Rettinger, Robert and Zheng, Xizhong and Braunm{\"u}hl, Burchard von}, title = {Computable Real Functions of Bounded Variation and semi-Computable Real Numbers}, series = {Computing and combinatorics, 8th annual international conference, COCOON 2002, Singapore, August 15 - 17, 2002}, booktitle = {Computing and combinatorics, 8th annual international conference, COCOON 2002, Singapore, August 15 - 17, 2002}, editor = {Oscar, H. Ibarra}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-43996-X}, pages = {47 -- 56}, language = {en} } @techreport{ZhengRettingerBraunmuehl, author = {Zheng, Xizhong and Rettinger, Robert and Braunm{\"u}hl, Burchard von}, title = {On the Jordan decomposability for computable functions of bounded variation}, publisher = {BTU, Inst. of Computer Science}, address = {Cottbus}, pages = {12}, language = {en} } @misc{ZhengWeihrauch, author = {Zheng, Xizhong and Weihrauch, Klaus}, title = {The arithmetical hierarchy of real numbers}, series = {Mathematical Logic Quarterly}, volume = {47}, journal = {Mathematical Logic Quarterly}, number = {1}, issn = {0942-5616}, pages = {51 -- 65}, language = {en} } @inproceedings{RettingerGenglerZhengetal., author = {Rettinger, Robert and Gengler, Romain and Zheng, Xizhong and Braunm{\"u}hl, Burchard von}, title = {Monotonically Computable Real Numbers}, series = {Combinatorics, computability and logic, proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS '01)}, booktitle = {Combinatorics, computability and logic, proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS '01)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {1-85233-526-2}, pages = {187 -- 202}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {Hierarchy of monotonically computable real numbers}, series = {Mathematical foundations of computer science 2001, 26th international symposium, Mari{\´a}nsk{\´e} L{\´a}zně, Czech Republic, August 27 - 31, 2001}, booktitle = {Mathematical foundations of computer science 2001, 26th international symposium, Mari{\´a}nsk{\´e} L{\´a}zně, Czech Republic, August 27 - 31, 2001}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-42496-2}, pages = {633 -- 644}, language = {en} } @misc{ZhengRettinger, author = {Zheng, Xizhong and Rettinger, Robert}, title = {Effective Jordan decomposition}, series = {Theory of Computing System}, volume = {38}, journal = {Theory of Computing System}, number = {2}, issn = {1432-4350}, pages = {189 -- 209}, language = {en} }