Effectively open real functions (0)

by M Ziegler
Venue:J. Complexity