Skip to content

On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems.

Ulrich Kohlenbach

VenueCCCA
Year2000
ProceedingsCCA

Browse the full CCA paper archive.