Journal | Contributors | Profile

with Demuth, O. (1987)., Differentiation of constructive functions of a real variable and relative computability, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 81-106.