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 - Zheng, Xizhong A1 - Rettinger, Robert A1 - Braunmühl, Burchard von T1 - On the effective Jordan decomposability Y1 - 2003 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 - Zheng, Xizhong A1 - Rettinger, Robert A1 - Barmpalias, George T1 - h-Monotonically computable real numbers JF - Mathematical Logic Quarterly Y1 - 2005 SN - 0942-5616 VL - 51 IS - 2 SP - 157 EP - 170 ER - TY - GEN A1 - Zheng, Xizhong A1 - Rettinger, Robert T1 - Weak computability and representation of real numbers T2 - Mathematical Logic Quarterly Y1 - 2004 SN - 0942-5616 VL - 50 IS - 4/5 SP - 431 EP - 442 ER - TY - GEN A1 - Rettinger, Robert A1 - Zheng, Xizhong T1 - On the hierarchy and extension of monotonically computable real numbers T2 - Journal of Complexity Y1 - 2003 SN - 0885-064X VL - 19 IS - 5 SP - 672 EP - 691 ER - TY - CHAP A1 - Rettinger, Robert A1 - Zheng, Xizhong ED - Wang, Lusheng T1 - Solovay reducibility on d-c.e. real numbers T2 - Computing and combinatorics, 11th annual international conference, COCOON 2005, Kunming, China, August 16 - 29, 2005 Y1 - 2005 SN - 978-3-540-28061-3 SP - 359 EP - 368 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Rettinger, Robert A1 - Zheng, Xizhong T1 - A hierarchy of Turing degrees of divergence bounded computable real numbers T2 - Journal of Complexity Y1 - 2006 VL - 22 IS - 6 SP - 818 EP - 826 ER - TY - JOUR A1 - Chen, Q. A1 - Rettinger, Robert A1 - Su, K. A1 - Sattar, A. A1 - Yue, W. A1 - Lu, G. A1 - Zheng, Xizhong T1 - Verification of Authentication Protocols for Epistemic Goals via SAT Compilation Y1 - 2006 ER - TY - CHAP A1 - Rettinger, Robert A1 - Zheng, Xizhong T1 - Points on Computable Curves of Computable Lengths Y1 - 2009 ER -