Login / Signup

Exact real number computations relative to hereditarily total functionals.

Dag Normann
Published in: Theor. Comput. Sci. (2002)
Keyphrases