TY - RPRT TI - Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma AU - Andrei Rumyantsev AU - Alexander Shen PY - 2013 UR - https://arxiv.org/abs/1305.1535 ID - 1305.1535 ER -