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
(13)
Chen, Q.
(3)
Rettinger, Robert
(3)
Su, K.
(3)
Yue, W.
(2)
Barmpalias, George
(1)
Braunmühl, Burchard von
(1)
Downey, Rod
(1)
Gengler, Romain
(1)
Lu, G.
(1)
+ more
Year of publication
2008
(2)
2007
(2)
2006
(3)
2005
(2)
2004
(1)
2002
(3)
Document Type
Article (13)
(remove)
Language
English
(12)
German
(1)
Keywords
weakly computable reals
(2)
closure properties
(1)
computable real functions
(1)
computable reals
(1)
recursively approximable realy
(1)
semi-computable reals
(1)
Institute
FG Theoretische Informatik
(13)
13
search hits
1
to
10
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Classification of Computably Approximable Real Numbers
(2008)
Zheng, Xizhong
A Hierarchy of Computably Enumerable Reals
(2008)
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
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
Closure properties of real numbers classes under CBV functions
(2005)
Zheng, Xizhong
h-Monotonically computable real numbers
(2005)
Zheng, Xizhong
;
Rettinger, Robert
;
Barmpalias, George
Degrees of d.c.e. Reals
(2004)
Downey, Rod
;
Wu, D.
;
Zheng, Xizhong
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.