From Coinductive Proofs to Exact Real Arithmetic

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04027-6_12 ◽

2009 ◽

pp. 132-146 ◽

Author(s):

Ulrich Berger

Download Full-text