Proof mining in metric fixed point theory and ergodic theory

From MaRDI portal
Publication:6213046