Department Seminar Series
A coinductive approach to exact real number computation
24th February 2009, 16:00
Dr Ulrich Berger
Department of Computer Science, University of Wales Swansea, UK
Maintained by Othon Michail