@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{ZhengRettingerGengler, author = {Zheng, Xizhong and Rettinger, Robert and Gengler, Romain}, title = {Ershov's hierarchy of real numbers}, series = {Mathematical foundations of computer science 2003, 28th international symposium MFCS, Bratislava, Slovakia, August 25 - 29, 2003}, booktitle = {Mathematical foundations of computer science 2003, 28th international symposium MFCS, Bratislava, Slovakia, August 25 - 29, 2003}, editor = {Rovan, Branislav}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-40671-9}, pages = {681 -- 690}, language = {en} } @inproceedings{RettingerZhengGengleretal., author = {Rettinger, Robert and Zheng, Xizhong and Gengler, Romain and Braunm{\"u}hl, Burchard von}, title = {Weakly computable real numbers and total computable real functions}, 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} }