Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Faculty/Chair
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Theoretische Informatik
Refine
Author
Rettinger, Robert (21)
(remove)
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
10
Export
BibTeX
CSV
RIS
XML
10
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 hierarchy of Turing degrees of divergence bounded computable real numbers
(2006)
Rettinger, Robert
;
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
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
h-Monotonically computable real numbers
(2005)
Zheng, Xizhong
;
Rettinger, Robert
;
Barmpalias, George
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
1
to
10
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.