Xizhong Zheng

Proceedings of the Computing with Foresight and Industry, 2019

2012

Point-Separable Classes of Simple Computable Planar Curves

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

2010

On the Weak Computability of Continuous Real Functions

[BibT_eX]

[DOI]

Matthew S. Bauer

Proceedings of the Proceedings Seventh International Conference on Computability and Complexity in Analysis, 2010

2009

Points on Computable Curves of Computable Lengths.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

On the Computability of Rectifiable Simple Curve (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

2008

Classification of Computably Approximable Real Numbers.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2008

A Hierarchy of Computably Enumerable Reals.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

2007

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

[BibT_eX]

[DOI]

Ker-I Ko

Math. Log. Q., 2007

Primitive recursive real numbers.

[BibT_eX]

[DOI]

Qingliang Chen

Kaile Su

Math. Log. Q., 2007

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

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2007

Finitely Bounded Effective Computability.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007

Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 13th Annual International Conference, 2007

2006

Divergence bounded computable real numbers.

[BibT_eX]

[DOI]

Dianchen Lu

Kejin Bao

Theor. Comput. Sci., 2006

A Reference Correction of "Effective Jordan Decomposition".

[BibT_eX]

[DOI]

Theory Comput. Syst., 2006

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

A hierarchy of Turing degrees of divergence bounded computable real numbers.

[BibT_eX]

[DOI]

J. Complex., 2006

Classification of the Computable Approximations by Divergence Boundings.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Computability and Complexity in Analysis, 2006

Primitive Recursiveness of Real Numbers under Different Representations.

[BibT_eX]

[DOI]

Qingliang Chen

Kaile Su

Proceedings of the Third International Conference on Computability and Complexity in Analysis, 2006

A Computability Theory of Real Numbers.

[BibT_eX]

[DOI]

Proceedings of the Logical Approaches to Computational Barriers, 2006

2005

Closure Properties of Real Number Classes under CBV Functions.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2005

Effective Jordan Decomposition.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2005

<i>h</i>-monotonically computable real numbers.

[BibT_eX]

[DOI]

George Barmpalias

Math. Log. Q., 2005

Solovay Reducibility on D-c.e Real Numbers.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005

On the Turing Degrees of Divergence Bounded Computable Reals.

[BibT_eX]

[DOI]

Proceedings of the New Computational Paradigms, 2005

2004

Weak computability and representation of reals.

[BibT_eX]

[DOI]

Math. Log. Q., 2004

Degrees of d. c. e. reals.

[BibT_eX]

[DOI]

Rod Downey

Guohua Wu

Math. Log. Q., 2004

A Note On the Turing Degrees of Divergence Bounded Computable Reals.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Computability and Complexity in Analysis, 2004

On the Extensions of Solovay-Reducibility..

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 10th Annual International Conference, 2004

2003

On the Turing Degrees of Weakly Computable Real Numbers.

[BibT_eX]

[DOI]

J. Log. Comput., 2003

On the hierarchy and extension of monotonically computable real numbers.

[BibT_eX]

[DOI]

J. Complex., 2003

On the Effective Jordan Decomposability.

[BibT_eX]

[DOI]

Proceedings of the STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27, 2003

Ershov's Hierarchy of Real Numbers.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

On the Monotonic Computability of Semi-computable Real Numbers.

[BibT_eX]

[DOI]

George Barmpalias

Proceedings of the Discrete Mathematics and Theoretical Computer Science, 2003

On the Divergence Bounded Computable Real Numbers.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 9th Annual International Conference, 2003

2002

The closure properties on real numbers under limits and computable operators.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Recursive Approximability of Real Numbers.

[BibT_eX]

[DOI]

Math. Log. Q., 2002

Monotonically Computable Real Numbers.

[BibT_eX]

[DOI]

Math. Log. Q., 2002

Effectively Absolute Continuity and Effective Jordan Decomposability.

[BibT_eX]

[DOI]

Proceedings of the Computability and Complexity in Analysis, 2002

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

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 8th Annual International Conference, 2002

2001

The Arithmetical Hierarchy of Real Numbers.

[BibT_eX]

[DOI]

Math. Log. Q., 2001

Hierarchy of Monotonically Computable Real Numbers.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Weakly Computable Real Numbers and Total Computable Real Functions.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 7th Annual International Conference, 2001

2000

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Weakly Computable Real Numbers.

[BibT_eX]

[DOI]

J. Complex., 2000

Closure Properties of Real Number Classes under Limits and Computable Operators.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 6th Annual International Conference, 2000

1999

Effectiveness of the Global Modulus of Continuity on Metric Spaces.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Approaches to Effective Semi-Continuity of Real Functions.

[BibT_eX]

[DOI]

Vasco Brattka

Math. Log. Q., 1999

Binary Enumerability of Real Numbers.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 5th Annual International Conference, 1999

1998

A Finite Hierarchy of the Recursively Enumerable Real Numbers.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Resource Bounded Randomness and Weakly Complete Problems.

[BibT_eX]

[DOI]

Sebastiaan Terwijn

Theor. Comput. Sci., 1997

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

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997

1996

Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness.

[BibT_eX]

[DOI]

Proceedings of the STACS 96, 1996

A Comparison of Weak Completeness Notions.

[BibT_eX]

[DOI]

Elvira Mayordomo

Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, 1996

1994

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

[BibT_eX]

[DOI]

Arch. Math. Log., 1994

1993

On the Maximality of Some Pairs of p-t Degrees.

[BibT_eX]

[DOI]