A so-called "effective" algorithm may require arbitrarily large finite amounts of time and space resources, and hence ma... MoreFeasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
Progress in Computer Science and Applied Logic