Sciweavers

CSL
2009
Springer

From Coinductive Proofs to Exact Real Arithmetic

14 years 7 months ago
From Coinductive Proofs to Exact Real Arithmetic
Ulrich Berger
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CSL
Authors Ulrich Berger
Comments (0)