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
Rettinger, Robert
(21)
Zheng, Xizhong
(21)
Braunmühl, Burchard von
(7)
Gengler, Romain
(4)
Barmpalias, George
(1)
Chen, Q.
(1)
Lu, G.
(1)
Sattar, A.
(1)
Su, K.
(1)
Yue, W.
(1)
+ more
Year of publication
2009
(2)
2006
(2)
2005
(4)
2004
(3)
2003
(3)
2002
(4)
2001
(3)
Document Type
Conference Proceeding
(12)
Article
(3)
Scientific journal article not peer-reviewed
(3)
Scientific journal article peer-reviewed
(2)
Report
(1)
Language
English
(21)
Keywords
Jordansche Zerlegung
(1)
Zerlegung <Mathematik>
(1)
Institute
FG Theoretische Informatik
(21)
BTU
an der BTU erstellt / created at BTU
(1)
21
search hits
1
to
20
Export
BibTeX
CSV
RIS
XML
20
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
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
On the Turing degrees of divergence bounded computable reals
(2005)
Rettinger, Robert
;
Zheng, Xizhong
A note on the Turing degrees of divergence bounded computable reals
(2004)
Zheng, Xizhong
;
Rettinger, Robert
Ershov's hierarchy of real numbers
(2003)
Zheng, Xizhong
;
Rettinger, Robert
;
Gengler, Romain
On the effective Jordan decomposability
(2003)
Zheng, Xizhong
;
Rettinger, Robert
;
Braunmühl, Burchard von
Solovay reducibility on d-c.e. real numbers
(2005)
Rettinger, Robert
;
Zheng, Xizhong
A hierarchy of Turing degrees of divergence bounded computable real numbers
(2006)
Rettinger, Robert
;
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
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
Weakly computable real numbers and total computable real functions
(2001)
Rettinger, Robert
;
Zheng, Xizhong
;
Gengler, Romain
;
Braunmühl, Burchard von
On the extensions of Solovay Reducibility
(2004)
Zheng, Xizhong
;
Rettinger, Robert
On the hierarchy and extension of monotonically computable real numbers
(2003)
Rettinger, Robert
;
Zheng, Xizhong
Weak computability and representation of real numbers
(2004)
Zheng, Xizhong
;
Rettinger, Robert
Effective Jordan decomposition
(2005)
Zheng, Xizhong
;
Rettinger, Robert
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
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
1
to
20
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.