TY  - RPRT
TI  - Proceedings Seventh International Conference on Computability and Complexity in Analysis
AU  - Xizhong Zheng
AU  - Ning Zhong
PY  - 2010
DO  - 10.4204/eptcs.24
UR  - https://arxiv.org/abs/1006.0551
ID  - 1006.0551
ER  -