%0 Journal Article %1 freund2020proof %A Freund, Anton %A Kohlenbach, Ulrich %D 2022 %J Dagstuhl Report %K abstract myown %N 10 %P 158-159 %R 10.4230/DagRep.11.10.151 %T Proof mining a nonlinear ergodic theorem for Banach spaces (abstract) %V 11

@article{freund2020proof, added-at = {2023-07-02T19:58:57.000+0200}, author = {Freund, Anton and Kohlenbach, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/210a129c4966e770b37749c1a7f6d630f/freund}, doi = {10.4230/DagRep.11.10.151}, interhash = {d992bc2e44cb18be4863564403cb414f}, intrahash = {10a129c4966e770b37749c1a7f6d630f}, journal = {Dagstuhl Report}, keywords = {abstract myown}, number = 10, pages = {158-159}, timestamp = {2023-07-09T10:05:30.000+0200}, title = {Proof mining a nonlinear ergodic theorem for {B}anach spaces (abstract)}, volume = 11, year = 2022 }