Monotonically Computable Real Numbers
Author: | Robert Rettinger, Romain Gengler, Xizhong Zheng, Burchard von Braunmühl |
---|---|
ISBN: | 1-85233-526-2 |
Title of the source (English): | Combinatorics, computability and logic, proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS '01) |
Publisher: | Springer |
Place of publication: | Berlin [u.a.] |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 2001 |
First Page: | 187 |
Last Page: | 202 |
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 |