TY - CHAP A1 - Rettinger, Robert A1 - Gengler, Romain A1 - Zheng, Xizhong A1 - Braunmühl, Burchard von T1 - Monotonically Computable Real Numbers T2 - Combinatorics, computability and logic, proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS '01) Y1 - 2001 SN - 1-85233-526-2 SP - 187 EP - 202 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Zheng, Xizhong A1 - Rettinger, Robert A1 - Gengler, Romain ED - Rovan, Branislav T1 - Ershov's hierarchy of real numbers T2 - Mathematical foundations of computer science 2003, 28th international symposium MFCS, Bratislava, Slovakia, August 25 - 29, 2003 Y1 - 2003 SN - 3-540-40671-9 SP - 681 EP - 690 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Rettinger, Robert A1 - Zheng, Xizhong A1 - Gengler, Romain A1 - Braunmühl, Burchard von T1 - Weakly computable real numbers and total computable real functions Y1 - 2001 ER - TY - JOUR A1 - Rettinger, Robert A1 - Zheng, Xizhong A1 - Gengler, Romain A1 - Braunmühl, Burchard von T1 - Monotonically computable real numbers Y1 - 2002 ER -