Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Abramovitz, M., Stegun, I.A.: Handbook of Mathematical Functions, 9th edn. Dover Publications, New York (1972)
2. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
3. Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. Communications of the ACM 12(10), 576–580 (1969)
4. Ko, K.-I.: On the definitions of some complexity classes of real numbers. Math. Systems Theory 16, 95–109 (1983)
5. Lee Jr., V.A., Boehm, H.-J.: Optimizing programs over the constructive reals. In: Proceedings of the ACM SIGPLAN 1990 conference on Programming Language design and implementation, pp. 102–111 (1990)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献