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

• Authors:

• Marek Karpinski;Rutger Verbeek

• Affiliations:

• -;-

• Venue:
• Computation Theory and Logic, In Memory of Dieter Rödding
• Year:
• 1987