Computation with access to the reals, but using only classical machines

Lecture Notes in Computer Science - Computational Logic and Proof Theory ◽

10.1007/bfb0022558 ◽

2005 ◽

pp. 97-107

Author(s):

N. P. Bamber

Download Full-text