TY - RPRT TI - Towards an axiomatic system for Kolmogorov complexity AU - Antoine Taveneaux PY - 2011 UR - https://arxiv.org/abs/1102.0686 ID - 1102.0686 ER -