150312

References

Osvald Demuth

Differentiation of constructive functions of a real variable and relative computability

1987

with Filipec Pavel

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link