TY  - RPRT
TI  - An application of proof mining to nonlinear iterations
AU  - Laurentiu Leustean
PY  - 2014
UR  - https://arxiv.org/abs/1211.2991
ID  - 1211.2991
ER  -