Inverting Monotone Continuous Functions in Constructive Analysis. Schwichtenberg, H. In Beckmann, A., Berger, U., Löwe, B., & Tucker, J., editors, Logical Approaches to Computational Barriers, volume 3988, pages 490–504, Berlin, 2006. Springer. Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006
Inverting Monotone Continuous Functions in Constructive Analysis [link]Paper  bibtex   
@INPROCEEDINGS{Sch06a,
  author = {Schwichtenberg, Helmut},
  title = {Inverting Monotone Continuous Functions in Constructive Analysis},
  booktitle = {Logical Approaches to Computational Barriers},
  year = {2006},
  editor = {Beckmann, A. and Berger, U. and L{\"o}we, B. and Tucker, J.V.},
  volume = {3988},
  series = LNCS,
  pages = {490--504},
  address = {Berlin},
  publisher = {Springer},
  note = {Second Conference on Computability in Europe, CiE 2006, Swansea,
	UK, June 30-July 5, 2006},
  keywords = {bib,con},
  url = {http://dx.doi.org/10.1007/11780342_50}
}

Downloads: 0