Computational Speed-Up by Effective Operators

Albert R. Meyer, Patrick C. Fischer. Computational Speed-Up by Effective Operators. Journal of Symbolic Logic, 37(1):55-68, 1972.

No reviews for this publication, yet.