Ulrich Kohlenbach. On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems. In Jens Blanck, Vasco Brattka, Peter Hertling, editors, Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers. Volume 2064 of Lecture Notes in Computer Science, pages 119-145, Springer, 2000. [doi]
Abstract is missing.