Exact Real Number Computations Relative to Hereditary Total Functions (2000)

Cached

Download Links

by Dag Normann
Venue:Theoretical Computer Science
Citations:4 - 0 self