TY - CONF A1 - Zheng, Xizhong T1 - A Computability Theory of Real Numbers T2 - Logical approaches to computational barriers, second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings Y1 - 2008 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/4052 SN - 3-540-35466-2 SP - 584 EP - 594 PB - Springer CY - Berlin [u.a.] ER -