Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Generalized metatheorems on the extractability of uniform bounds in functional analysis., und . Mathematics, Algorithms, Proofs, Volume 05021 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)Approximate fixed points of nonexpansive functions in product spaces., und . Mathematics, Algorithms, Proofs, Volume 05021 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces, und . Applied Set-Valued Analysis and Optimization, 4 (3): 323-336 (2022)Remarks on Herbrand normal forms and Herbrand realizations.. Arch. Math. Log., 31 (5): 305-317 (1992)Applied Proof Theory - Proof Interpretations and their Use in Mathematics.. Springer Monographs in Mathematics Springer, (2008)Rates of convergence for iterative solutions of equations involving set-valued accretive operators., und . Comput. Math. Appl., 80 (3): 490-503 (2020)Quantitative analysis of a subgradient-type method for equilibrium problems., und . Numer. Algorithms, 90 (1): 197-219 (2022)Term extraction and Ramsey's theorem for pairs., und . J. Symb. Log., 77 (3): 853-895 (2012)On the computational content of the Bolzano-Weierstraß Principle., und . Math. Log. Q., 56 (5): 508-532 (2010)On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems.. CCA, Volume 2064 von Lecture Notes in Computer Science, Seite 119-145. Springer, (2000)