Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma

Andrei Yu. Rumyantsev, Alexander Shen. Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma. Fundamenta Informaticae, 132(1):1-14, 2014. [doi]

Authors

Andrei Yu. Rumyantsev

This author has not been identified. Look up 'Andrei Yu. Rumyantsev' in Google

Alexander Shen

This author has not been identified. Look up 'Alexander Shen' in Google