Hannes Diener, Peter Schuster. Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis. In Andrej Bauer, Peter Hertling, Ker-I Ko, editors, Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, August 18-22, 2009, Ljubljana, Slovenia. Volume 09003 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009. [doi]
@inproceedings{DienerS09, title = {Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis}, author = {Hannes Diener and Peter Schuster}, year = {2009}, url = {http://drops.dagstuhl.de/opus/volltexte/2009/2265}, tags = {analysis}, researchr = {https://researchr.org/publication/DienerS09}, cites = {0}, citedby = {0}, booktitle = {Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, August 18-22, 2009, Ljubljana, Slovenia}, editor = {Andrej Bauer and Peter Hertling and Ker-I Ko}, volume = {09003}, series = {Dagstuhl Seminar Proceedings}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, }