TY - RPRT TI - Arithmetic complexity via effective names for random sequences AU - Bjørn Kjos-Hanssen AU - Frank Stephan AU - Jason R. Teutsch PY - 2014 DO - 10.1145/2287718.2287724 UR - https://arxiv.org/abs/1008.4825 ID - 1008.4825 ER -