Xizhong Zheng

发表

Finitely Bounded Effective Computability

Xizhong Zheng, 2008, Electron. Notes Theor. Comput. Sci..

Proceedings Seventh International Conference on Computability and Complexity in Analysis: Preface

Ning Zhong, Xizhong Zheng, 2010 .

On the hierarchies of $\Delta^0_2$-real numbers

Xizhong Zheng, 2007, RAIRO Theor. Informatics Appl..

On the Maximality of Some Pairs of p-t Degrees

Xizhong Zheng, 1993, Notre Dame J. Formal Log..

A comparison of weak completeness notions

Xizhong Zheng, K. Ambos-Spies, E. Mayordomo, 1996, Proceedings of Computational Complexity (Formerly Structure in Complexity Theory).

Point-Separable Classes of Simple Computable Planar Curves

Xizhong Zheng, Robert Rettinger, 2012, Log. Methods Comput. Sci..

Divergence bounded computable real numbers

Xizhong Zheng, Dianchen Lu, Kejin Bao, 2006, Theor. Comput. Sci..

Primitive Recursiveness of Real Numbers under Different Representations

Kaile Su, Qingliang Chen, Xizhong Zheng, 2006, CCA.

Computability on continuous, lower semi-continuous and upper semi-continuous real functions

Klaus Weihrauch, Xizhong Zheng, 2000, Theor. Comput. Sci..

The Arithmetical Hierarchy of Real Numbers

Klaus Weihrauch, Xizhong Zheng, 2001, Math. Log. Q..

Resource Bounded Randomness and Weakly Complete Problems

Sebastiaan Terwijn, Klaus Ambos-Spies, Xizhong Zheng, 1994, Theor. Comput. Sci..

On the Differences and Sums of Strongly Computably Enumerable Real Numbers

Klaus Ambos-Spies, Xizhong Zheng, 2019, CiE.

A Note On the Turing Degrees of Divergence Bounded Computable Reals

Xizhong Zheng, Robert Rettinger, 2005, Electron. Notes Theor. Comput. Sci..

Classification of Computably Approximable Real Numbers

Xizhong Zheng, 2007, Theory of Computing Systems.

Classification of the Computable Approximations by Divergence Boundings

Xizhong Zheng, 2007, Electron. Notes Theor. Comput. Sci..

Degrees of d. c. e. reals

Guohua Wu, Rodney G. Downey, Xizhong Zheng, 2004, Math. Log. Q..

H-monotonically Computable Real Numbers

George Barmpalias, Xizhong Zheng, Robert Rettinger, 2005, Math. Log. Q..

Weakly Computable Real Numbers and Total Computable Real Functions

Burchard von Braunmühl, Xizhong Zheng, Romain Gengler, 2001, COCOON.

A Computability Theory of Real Numbers

Xizhong Zheng, Xizhong Zheng, 2006, CiE.

On the Divergence Bounded Computable Real Numbers

Xizhong Zheng, 2003, COCOON.

On the Hierarchy of 02-Real Numbers

Xizhong Zheng, 2004 .

A hierarchy of Turing degrees of divergence bounded computable real numbers

Xizhong Zheng, Robert Rettinger, 2005, J. Complex..

Proceedings Seventh International Conference on Computability and Complexity in Analysis, CCA 2010, Zhenjiang, China, 21-25th June 2010

Ning Zhong, Xizhong Zheng, 2010, CCA.

Effective Jordan Decomposition

Xizhong Zheng, Robert Rettinger, Xizhong Zheng, 2005, Theory of Computing Systems.

Primitive recursive real numbers

Qingliang Chen, Xizhong Zheng, Kaile Su, 2007, Math. Log. Q..

Approaches to Effective Semi‐Continuity of Real Functions

Klaus Weihrauch, Vasco Brattka, Xizhong Zheng, 1998, Math. Log. Q..

On the Extensions of Solovay-Reducibility

Xizhong Zheng, Robert Rettinger, 2004, COCOON.

Effectiveness of the Global Modulus of Continuity on Metric Spaces

Klaus Weihrauch, Xizhong Zheng, 1997, Category Theory and Computer Science.

The Arithmetical Hierarchy of Real Numbers

Klaus Weihrauch, Xizhong Zheng, 1999, MFCS.

Weak computability and representation of reals

Xizhong Zheng, Robert Rettinger, 2004, Math. Log. Q..

Approaches to Effective Semi-Continuity of Real Functions

Klaus Weihrauch, Vasco Brattka, Xizhong Zheng, 1999, Math. Log. Q..

Hierarchy of Monotonically Computable Real Numbers

Xizhong Zheng, Robert Rettinger, 2001, MFCS.

Closure Properties of Real Number Classes under Limits and Computable Operators

Xizhong Zheng, 2000, COCOON.

Weakly Computable Real Numbers

Klaus Weihrauch, Klaus Ambos-Spies, Xizhong Zheng, 2000, J. Complex..

Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals

Xizhong Zheng, 2007, COCOON.

Solovay Reducibility on D-c.e Real Numbers

Xizhong Zheng, Robert Rettinger, 2005, COCOON.

The rhombus classes of degrees of unsolvability (I), The jump properties

Xizhong Zheng, 1994, Arch. Math. Log..

On the hierarchy and extension of monotonically computable real numbers

Xizhong Zheng, Robert Rettinger, 2003, J. Complex..

Monotonically Computable Real Numbers

Burchard von Braunmühl, Xizhong Zheng, Romain Gengler, 2001, DMTCS.

On the Turing Degrees of Divergence Bounded Computable Reals

Xizhong Zheng, Robert Rettinger, 2005, CiE.

Monotonically Computable Real Numbers

Burchard von Braunmühl, Xizhong Zheng, Romain Gengler, 2002, Math. Log. Q..

On the Turing Degrees of Weakly Computable Real Numbers

Xizhong Zheng, Xizhong Zheng, 2003, J. Log. Comput..

Burchard von Braunmühl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers

Xizhong Zheng, Robert Rettinger, 2002, COCOON.

On the Effective Jordan Decomposability

Burchard von Braunmühl, Xizhong Zheng, Robert Rettinger, 2003, STACS.

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

Abdul Sattar, Kaile Su, Qingliang Chen, 2006, Journal of Computer Science and Technology.

A Finite Hierarchy of the Recursively Enumerable Real Numbers

Klaus Weihrauch, Xizhong Zheng, 1998, MFCS.

On the Computability of Rectifiable Simple Curve (Extended Abstract)

Xizhong Zheng, Robert Rettinger, 2009, CCA.

Points on Computable Curves of Computable Lengths

Xizhong Zheng, Robert Rettinger, 2009, MFCS.

Effectiveness of the Global Modulus of Continuity on Metric Spaces

Klaus Weihrauch, Xizhong Zheng, 1999, Theor. Comput. Sci..

Closure Properties of Real Number Classes under CBV Functions

Xizhong Zheng, Romain Gengler, Robert Rettinger, 2004, Theory of Computing Systems.

A Hierarchy of Computably Enumerable Reals

Xizhong Zheng, 2008, Fundam. Informaticae.

Binary Enumerability of Real Numbers

Xizhong Zheng, 1999, COCOON.

Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions

Klaus Weihrauch, Xizhong Zheng, 1997, COCOON.

On the Weak Computability of Continuous Real Functions

Xizhong Zheng, Matthew S. Bauer, 2010, CCA.

A Reference Correction of "Effective Jordan Decomposition"

Xizhong Zheng, Robert Rettinger, 2005, Theory of Computing Systems.

Ershov's Hierarchy of Real Numbers

Xizhong Zheng, Romain Gengler, Robert Rettinger, 2003, MFCS.

Resource Bounded Randomness and Weakly Complete Problems

Sebastiaan Terwijn, Klaus Ambos-Spies, Xizhong Zheng, 1997, Theor. Comput. Sci..

On the Monotonic Computability of Semi-computable Real Numbers

George Barmpalias, Xizhong Zheng, 2003, DMTCS.

Editorial: Math. Log. Quart. 4-5/2007

Klaus Weihrauch, Ker-I Ko, Xizhong Zheng, 2007, Math. Log. Q..

Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness

Yongge Wang, Klaus Ambos-Spies, Elvira Mayordomo, 1996, STACS.

Recursive Approximability of Real Numbers

Xizhong Zheng, 2002, Math. Log. Q..

Effectively Absolute Continuity and Effective Jordan Decomposability

Burchard von Braunmühl, Xizhong Zheng, Robert Rettinger, 2002, Electron. Notes Theor. Comput. Sci..

The closure properties on real numbers under limits and computable operators

Xizhong Zheng, 2002, Theor. Comput. Sci..

Computability of Real Numbers

Xizhong Zheng, Robert Rettinger, 2021 .

Absolute Continuity and Eective Jordan Decomposability

Burchard von Braunmühl, Xizhong Zheng, Robert Rettinger, 2002 .

On the Jordan Decomposability for Computable Functions of Bounded Variation

Xizhong Zheng, Robert Rettinger, Xizhong Zheng, 2002 .

The Arithmetical Hierarchy of Real Numbers

Klaus Weihrauch, Xizhong Zheng, 2001 .

Computable real functions of bounded variation and semi-computable real numbers (extended abstract)

Burchard von Braunmühl, Xizhong Zheng, Robert Rettinger, 2002 .

Recursive Approximability of Real Numbers

Xizhong Zheng, 2002 .

Monotonically Computable Real Numbers

Burchard von Braunmühl, Xizhong Zheng, Romain Gengler, 2002 .

Weak Computability and Representation of Real Numbers

Xizhong Zheng, Romain Gengler, Robert Rettinger, 2003 .