Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Faculty/Chair
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Theoretische Informatik
Refine
Author
Zheng, Xizhong (45)
(remove)
Year of publication
2009
(2)
2008
(3)
2007
(6)
2006
(6)
2005
(5)
2004
(5)
2003
(6)
2002
(6)
2001
(4)
2000
(2)
+ more
Document Type
Conference Proceeding
(18)
Article
(13)
Scientific journal article not peer-reviewed
(9)
Scientific journal article peer-reviewed
(2)
Part of a book (chapter)
(1)
Doctoral thesis
(1)
Report
(1)
Language
English
(44)
German
(1)
Keywords
weakly computable reals
(2)
Jordansche Zerlegung
(1)
Zerlegung <Mathematik>
(1)
closure properties
(1)
computable real functions
(1)
computable reals
(1)
recursively approximable realy
(1)
semi-computable reals
(1)
Institute
FG Theoretische Informatik
(45)
BTU
an der BTU erstellt / created at BTU
(1)
45
search hits
1
to
45
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Points on Computable Curves of Computable Lengths
(2009)
Rettinger, Robert
;
Zheng, Xizhong
On the Computability of the Rectifiable Simple Curves
(2009)
Rettinger, Robert
;
Zheng, Xizhong
A Computability Theory of Real Numbers
(2008)
Zheng, Xizhong
Classification of Computably Approximable Real Numbers
(2008)
Zheng, Xizhong
A Hierarchy of Computably Enumerable Reals
(2008)
Zheng, Xizhong
Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals
(2007)
Zheng, Xizhong
Primitive Recursiveness of Real Numbers under Different Representations
(2007)
Chen, Qingliang
;
Su, Kaile
;
Zheng, Xizhong
Classification of the Computable Approximations
(2007)
Zheng, Xizhong
On the Hierarchies of Delta 0_2 real Numbers
(2007)
Zheng, Xizhong
Primitive Recursive Real Numbers
(2007)
Chen, Q.
;
Su, K.
;
Zheng, Xizhong
Effective Hierarchy of Real Numbers
(2007)
Zheng, Xizhong
A hierarchy of Turing degrees of divergence bounded computable real numbers
(2006)
Rettinger, Robert
;
Zheng, Xizhong
Reasoning about Knowledge by SAT Solving
(2006)
Su, Kaile
;
Chen, Qingliang
;
Zheng, Xizhong
;
Yue, Weiya
A Computability Theory of Real Numbers
(2006)
Zheng, Xizhong
Instantiation Space: A New Model for Security Protocol Logic
(2006)
Chen, Q.
;
Su, K.
;
Yue, W.
;
Zheng, Xizhong
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
(2006)
Chen, Q.
;
Rettinger, Robert
;
Su, K.
;
Sattar, A.
;
Yue, W.
;
Lu, G.
;
Zheng, Xizhong
Divergence bounded computable real numbers
(2006)
Zheng, Xizhong
On the Turing degrees of divergence bounded computable reals
(2005)
Rettinger, Robert
;
Zheng, Xizhong
Solovay reducibility on d-c.e. real numbers
(2005)
Rettinger, Robert
;
Zheng, Xizhong
Effective Jordan decomposition
(2005)
Zheng, Xizhong
;
Rettinger, Robert
Closure properties of real numbers classes under CBV functions
(2005)
Zheng, Xizhong
h-Monotonically computable real numbers
(2005)
Zheng, Xizhong
;
Rettinger, Robert
;
Barmpalias, George
On the hierarchy of Delta_02-numbers
(2004)
Zheng, Xizhong
A note on the Turing degrees of divergence bounded computable reals
(2004)
Zheng, Xizhong
;
Rettinger, Robert
On the extensions of Solovay Reducibility
(2004)
Zheng, Xizhong
;
Rettinger, Robert
Weak computability and representation of real numbers
(2004)
Zheng, Xizhong
;
Rettinger, Robert
Degrees of d.c.e. Reals
(2004)
Downey, Rod
;
Wu, D.
;
Zheng, Xizhong
Ershov's hierarchy of real numbers
(2003)
Zheng, Xizhong
;
Rettinger, Robert
;
Gengler, Romain
On the divergence bounded computable real numbers
(2003)
Zheng, Xizhong
On the monotonic computability of semi-computable real numbers
(2003)
Zheng, Xizhong
;
Barmpalias, George
On the effective Jordan decomposability
(2003)
Zheng, Xizhong
;
Rettinger, Robert
;
Braunmühl, Burchard von
On the hierarchy and extension of monotonically computable real numbers
(2003)
Rettinger, Robert
;
Zheng, Xizhong
On the Turing degrees of weakly computable real numbers
(2003)
Zheng, Xizhong
Recursive approximability of real numbers
(2002)
Zheng, Xizhong
Effectively absolute continuity and effective Jordan decomposability
(2002)
Zheng, Xizhong
;
Rettinger, Robert
;
Braunmühl, Burchard von
Computable Real Functions of Bounded Variation and semi-Computable Real Numbers
(2002)
Rettinger, Robert
;
Zheng, Xizhong
;
Braunmühl, Burchard von
Monotonically computable real numbers
(2002)
Rettinger, Robert
;
Zheng, Xizhong
;
Gengler, Romain
;
Braunmühl, Burchard von
Closure properties on real numbers under limits and computable operators
(2002)
Zheng, Xizhong
On the Jordan decomposability for computable functions of bounded variation
(2002)
Zheng, Xizhong
;
Rettinger, Robert
;
Braunmühl, Burchard von
Monotonically Computable Real Numbers
(2001)
Rettinger, Robert
;
Gengler, Romain
;
Zheng, Xizhong
;
Braunmühl, Burchard von
Hierarchy of monotonically computable real numbers
(2001)
Rettinger, Robert
;
Zheng, Xizhong
Weakly computable real numbers and total computable real functions
(2001)
Rettinger, Robert
;
Zheng, Xizhong
;
Gengler, Romain
;
Braunmühl, Burchard von
The arithmetical hierarchy of real numbers
(2001)
Zheng, Xizhong
;
Weihrauch, Klaus
Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions
(2000)
Weihrauch, Klaus
;
Zheng, Xizhong
Weakly computable real numbers
(2000)
Ambos-Spies, Klaus
;
Weihrauch, Klaus
;
Zheng, Xizhong
1
to
45
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.