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 - Rettinger, Robert A1 - Zheng, Xizhong T1 - Hierarchy of monotonically computable real numbers T2 - Mathematical foundations of computer science 2001, 26th international symposium, Mariánské Lázně, Czech Republic, August 27 - 31, 2001 Y1 - 2001 SN - 3-540-42496-2 SP - 633 EP - 644 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Rettinger, Robert A1 - Zheng, Xizhong ED - Cooper, Stuart Barry T1 - On the Turing degrees of divergence bounded computable reals T2 - New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005 Y1 - 2005 SN - 3-540-26179-6 SP - 418 EP - 428 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Zheng, Xizhong T1 - On the hierarchy of Delta_02-numbers Y1 - 2004 UR - http://www.informatik.uni-trier.de/Reports/TR-08-2004/rnc6_15_zheng.pdf ER - TY - CHAP A1 - Zheng, Xizhong A1 - Rettinger, Robert T1 - A note on the Turing degrees of divergence bounded computable reals Y1 - 2004 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 - Zheng, Xizhong T1 - On the divergence bounded computable real numbers Y1 - 2003 ER - TY - CHAP A1 - Zheng, Xizhong A1 - Barmpalias, George T1 - On the monotonic computability of semi-computable real numbers Y1 - 2003 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 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 - CHAP A1 - Zheng, Xizhong T1 - Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals Y1 - 2007 ER - TY - JOUR A1 - Zheng, Xizhong T1 - Recursive approximability of real numbers KW - computable reals KW - semi-computable reals KW - weakly computable reals KW - recursively approximable realy Y1 - 2002 ER - TY - GEN A1 - Zheng, Xizhong A1 - Rettinger, Robert A1 - Braunmühl, Burchard von T1 - Effectively absolute continuity and effective Jordan decomposability T2 - Electronic Notes in Theoretical Computer Science Y1 - 2002 SN - 1571-0661 N1 - Proceedings of CCA 2002, July 12 - 13, Malaga, Spain VL - 66 IS - 1 SP - 213 EP - 224 ER - TY - CHAP A1 - Rettinger, Robert A1 - Zheng, Xizhong A1 - Braunmühl, Burchard von ED - Oscar, H. Ibarra T1 - Computable Real Functions of Bounded Variation and semi-Computable Real Numbers T2 - Computing and combinatorics, 8th annual international conference, COCOON 2002, Singapore, August 15 - 17, 2002 Y1 - 2002 SN - 3-540-43996-X SP - 47 EP - 56 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Su, Kaile A1 - Chen, Qingliang A1 - Zheng, Xizhong A1 - Yue, Weiya T1 - Reasoning about Knowledge by SAT Solving T2 - International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China Y1 - 2006 SN - 1-4244-0604-8 SN - 1-4244-0605-6 SP - 536 EP - 539 PB - IEEE Press CY - Piscataway, NJ ER - TY - CHAP A1 - Zheng, Xizhong T1 - A Computability Theory of Real Numbers T2 - Logical approaches to computational barriers, second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings Y1 - 2006 SN - 3-540-35466-2 SP - 584 EP - 594 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Rettinger, Robert A1 - Zheng, Xizhong T1 - Points on Computable Curves of Computable Lengths Y1 - 2009 ER - TY - CHAP A1 - Rettinger, Robert A1 - Zheng, Xizhong T1 - On the Computability of the Rectifiable Simple Curves Y1 - 2009 ER - TY - GEN A1 - Weihrauch, Klaus A1 - Zheng, Xizhong T1 - Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions T2 - Theoretical Computer Science Y1 - 2000 VL - 234 IS - 1-2 SP - 109 EP - 133 ER - TY - CHAP A1 - Zheng, Xizhong ED - Brattka, Vasco T1 - A Computability Theory of Real Numbers T2 - CCA 2008, August 21 - 24, 2008, Hagen, Germany Y1 - 2008 PB - Hagen CY - Fernuniv. 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 - CHAP A1 - Zheng, Xizhong A1 - Rettinger, Robert T1 - On the extensions of Solovay Reducibility Y1 - 2004 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 - GEN A1 - Ambos-Spies, Klaus A1 - Weihrauch, Klaus A1 - Zheng, Xizhong T1 - Weakly computable real numbers T2 - Journal of Complexity Y1 - 2000 SN - 0885-064X VL - 16 IS - 4 SP - 676 EP - 690 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 - Zheng, Xizhong T1 - On the Turing degrees of weakly computable real numbers T2 - Journal of Logic and Computation Y1 - 2003 SN - 0955-792X VL - 13 IS - 2 SP - 159 EP - 172 ER - TY - GEN A1 - Zheng, Xizhong A1 - Rettinger, Robert T1 - Effective Jordan decomposition T2 - Theory of Computing System Y1 - 2005 SN - 1432-4350 VL - 38 IS - 2 SP - 189 EP - 209 ER - TY - GEN A1 - Zheng, Xizhong A1 - Weihrauch, Klaus T1 - The arithmetical hierarchy of real numbers T2 - Mathematical Logic Quarterly Y1 - 2001 SN - 0942-5616 VL - 47 IS - 1 SP - 51 EP - 65 ER - TY - GEN A1 - Chen, Qingliang A1 - Su, Kaile A1 - Zheng, Xizhong T1 - Primitive Recursiveness of Real Numbers under Different Representations T2 - Electronic Notes in Theoretical Computer Science Y1 - 2007 SN - 1571-0661 VL - 167 SP - 303 EP - 324 ER - TY - GEN A1 - Zheng, Xizhong T1 - Classification of the Computable Approximations T2 - Electronic Notes in Theoretical Computer Science Y1 - 2007 SN - 1571-0661 VL - 167 SP - 325 EP - 344 ER - TY - JOUR A1 - Zheng, Xizhong T1 - Classification of Computably Approximable Real Numbers Y1 - 2008 ER - TY - JOUR A1 - Zheng, Xizhong T1 - A Hierarchy of Computably Enumerable Reals Y1 - 2008 ER - TY - JOUR A1 - Chen, Q. A1 - Su, K. A1 - Yue, W. A1 - Zheng, Xizhong T1 - Instantiation Space: A New Model for Security Protocol Logic Y1 - 2006 ER - TY - JOUR A1 - Downey, Rod A1 - Wu, D. A1 - Zheng, Xizhong T1 - Degrees of d.c.e. Reals Y1 - 2004 ER - TY - JOUR A1 - Zheng, Xizhong T1 - On the Hierarchies of Delta 0_2 real Numbers Y1 - 2007 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 - JOUR A1 - Chen, Q. A1 - Su, K. A1 - Zheng, Xizhong T1 - Primitive Recursive Real Numbers Y1 - 2007 ER - TY - JOUR A1 - Zheng, Xizhong T1 - Closure properties of real numbers classes under CBV functions Y1 - 2005 ER - TY - JOUR A1 - Zheng, Xizhong T1 - Divergence bounded computable real numbers Y1 - 2006 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 - JOUR A1 - Rettinger, Robert A1 - Zheng, Xizhong A1 - Gengler, Romain A1 - Braunmühl, Burchard von T1 - Monotonically computable real numbers Y1 - 2002 ER - TY - JOUR A1 - Zheng, Xizhong T1 - Closure properties on real numbers under limits and computable operators KW - weakly computable reals KW - computable real functions KW - closure properties Y1 - 2002 ER - TY - THES A1 - Zheng, Xizhong T1 - Effective Hierarchy of Real Numbers Y1 - 2007 SN - 978-3-8322-6343-0 PB - Shaker CY - Aachen ER - TY - RPRT A1 - Zheng, Xizhong A1 - Rettinger, Robert A1 - Braunmühl, Burchard von T1 - On the Jordan decomposability for computable functions of bounded variation KW - Jordansche Zerlegung KW - Zerlegung Y1 - 2002 PB - BTU, Inst. of Computer Science CY - Cottbus ER -