Semantics of Exact Real Arithmetic (1997)
by
Peter John Potts
,
Abbas Edalat
,
Martín Hötzel Escardó
| Citations: | 28 - 8 self |
Document Versions
| Semantics of Exact Real Arithmetic –Peter John Potts, Abbas Edalat, Martín Hötzel Escardó — 1997 |
