Sciweavers

103
Voted
CSL
1990
Springer
15 years 10 months ago
Algorithmic Proof with Diminishing Resources, Part 1
Dov M. Gabbay
144
Voted
CSL
1990
Springer
15 years 10 months ago
On the Reduction Theory for Average Case Complexity
This is an attempt to simplify and justify the notions of deterministicand randomized reductions, an attempt to derive these notions from (more or less) rst principles.
Andreas Blass, Yuri Gurevich