Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Author(s)
All words
At least one word
None of the words
Title
All words
At least one word
None of the words
Additional Person(s)
All words
At least one word
None of the words
Referee(s)
All words
At least one word
None of the words
Abstract
All words
At least one word
None of the words
Fulltext
All words
None of the words
Refine
Author
Zheng, Xizhong
(45)
Rettinger, Robert
(21)
Braunmühl, Burchard von
(7)
Gengler, Romain
(4)
Chen, Q.
(3)
Su, K.
(3)
Weihrauch, Klaus
(3)
Barmpalias, George
(2)
Chen, Qingliang
(2)
Su, Kaile
(2)
Yue, W.
(2)
Ambos-Spies, Klaus
(1)
Downey, Rod
(1)
Lu, G.
(1)
Sattar, A.
(1)
Wu, D.
(1)
Yue, Weiya
(1)
- less
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
31
to
45
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Classification of the Computable Approximations
(2007)
Zheng, Xizhong
Classification of Computably Approximable Real Numbers
(2008)
Zheng, Xizhong
A Hierarchy of Computably Enumerable Reals
(2008)
Zheng, Xizhong
Instantiation Space: A New Model for Security Protocol Logic
(2006)
Chen, Q.
;
Su, K.
;
Yue, W.
;
Zheng, Xizhong
Degrees of d.c.e. Reals
(2004)
Downey, Rod
;
Wu, D.
;
Zheng, Xizhong
On the Hierarchies of Delta 0_2 real Numbers
(2007)
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
Primitive Recursive Real Numbers
(2007)
Chen, Q.
;
Su, K.
;
Zheng, Xizhong
Closure properties of real numbers classes under CBV functions
(2005)
Zheng, Xizhong
Divergence bounded computable real numbers
(2006)
Zheng, Xizhong
h-Monotonically computable real numbers
(2005)
Zheng, Xizhong
;
Rettinger, Robert
;
Barmpalias, George
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
Effective Hierarchy of Real Numbers
(2007)
Zheng, Xizhong
On the Jordan decomposability for computable functions of bounded variation
(2002)
Zheng, Xizhong
;
Rettinger, Robert
;
Braunmühl, Burchard von
31
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.