T.: Coinduction for exact real number computation (0)

by U Berger, Hou
Venue:409 (2008) Comput Syst (2012) 51:313–329 329