TY - CONF A1 - Rettinger, Robert A1 - Zheng, Xizhong A1 - Gengler, Romain A1 - Braunmühl, Burchard von T1 - Weakly computable real numbers and total computable real functions Y1 - 2005 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/2036 ER -