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]

@article{RumyantsevS14,
  title = {Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma},
  author = {Andrei Yu. Rumyantsev and Alexander Shen},
  year = {2014},
  doi = {10.3233/FI-2014-1029},
  url = {http://dx.doi.org/10.3233/FI-2014-1029},
  researchr = {https://researchr.org/publication/RumyantsevS14},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {132},
  number = {1},
  pages = {1-14},
}