Randomness, Provability, and the Seperation of Monte Carlo Time and Space

Marek Karpinski, Rutger Verbeek. Randomness, Provability, and the Seperation of Monte Carlo Time and Space. In Egon Börger, editor, Computation Theory and Logic, In Memory of Dieter Rödding. Volume 270 of Lecture Notes in Computer Science, pages 189-207, Springer, 1987.

@inproceedings{KarpinskiV87:0,
  title = {Randomness, Provability, and the Seperation of Monte Carlo Time and Space},
  author = {Marek Karpinski and Rutger Verbeek},
  year = {1987},
  researchr = {https://researchr.org/publication/KarpinskiV87%3A0},
  cites = {0},
  citedby = {0},
  pages = {189-207},
  booktitle = {Computation Theory and Logic, In Memory of Dieter Rödding},
  editor = {Egon Börger},
  volume = {270},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18170-9},
}