TY  - RPRT
TI  - A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
AU  - Laurent Bienvenu
AU  - Adam Day
AU  - Mathieu Hoyrup
AU  - Ilya Mezhirov
AU  - Alexander Shen
PY  - 2011
UR  - https://arxiv.org/abs/1007.5249
ID  - 1007.5249
ER  -