Primitive Recursiveness of Real Numbers under Different Representations
Author: | Qingliang Chen, Kaile Su, Xizhong Zheng |
---|---|
ISSN: | 1571-0661 |
Title of the source (English): | Electronic Notes in Theoretical Computer Science |
Document Type: | Scientific journal article not peer-reviewed |
Language: | English |
Year of publication: | 2007 |
Volume/Year: | 167 |
First Page: | 303 |
Last Page: | 324 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Theoretische Informatik |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Theoretische Informatik |