On the monotonic computability of semi-computable real numbers
Author: | Xizhong Zheng, George Barmpalias |
---|---|
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2003 |
Quelle aus UBICO: | Calude, Christian S. (Hrsg.): Discrete mathematics and theoretical computer science : 4th international conference ; proceedings / DMTCS 2003, Dijon, France, July 7 - 12, 2003., Berlin [u.a.] : Springer, 2003, S. 290-300, 3-540-40505-4 (LNCS ; 2731) |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Theoretische Informatik |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Theoretische Informatik |