TY - CONF A1 - Zheng, Xizhong A1 - Rettinger, Robert A1 - Gengler, Romain A2 - Rovan, Branislav T1 - Ershov's hierarchy of real numbers T2 - Mathematical foundations of computer science 2003, 28th international symposium MFCS, Bratislava, Slovakia, August 25 - 29, 2003 Y1 - 2005 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/2032 SN - 3-540-40671-9 SP - 681 EP - 690 PB - Springer CY - Berlin [u.a.] ER -