@misc{ChenSuZheng2008, author = {Qingliang Chen and Kaile Su and Xizhong Zheng}, title = {Primitive Recursiveness of Real Numbers under Different Representations}, booktitle = {Electronic Notes in Theoretical Computer Science}, volume = {167}, issn = {1571-0661}, institution = {FG Theoretische Informatik}, type = {articlenr}, pages = {303 -- 324}, year = {2008}, }