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

On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness.. Comput., 8 (3-4): 377-387 (2019)Bounds for a nonlinear ergodic theorem for Banach spaces, und . Ergodic Theory and Dynamical Systems, 43 (5): 1570-1593 (2023)Proof mining a nonlinear ergodic theorem for Banach spaces (abstract), und . Dagstuhl Report, 11 (10): 158-159 (2022)Preface., , , und . Ann. Pure Appl. Log., 104 (1-3): 1-2 (2000)Strongly uniform bounds from semi-constructive proofs., und . Ann. Pure Appl. Log., 141 (1-2): 89-107 (2006)Preface., , , und . Ann. Pure Appl. Log., 159 (3): 249-250 (2009)Proof Mining in Functional Analysis.. CiE, Volume 3526 von Lecture Notes in Computer Science, Seite 233-234. Springer, (2005)Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.. Arch. Math. Log., 36 (1): 31-71 (1996)An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles., , , und . LICS, Seite 192-201. IEEE Computer Society, (2004)Things That Can and Things That Cannot Be Done in PRA.. Ann. Pure Appl. Log., 102 (3): 223-245 (2000)