Approximating Classical Theorems

Stefano Baratella, Stefano Berardi. Approximating Classical Theorems. Journal of Logic and Computation, 8(6):839-854, 1998.

No reviews for this publication, yet.