Author:
Backhouse Roland,Ferreira João F.
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Aigner, M., Ziegler, G.: Proofs From The Book, 3rd edn. Springer, Heidelberg (2004)
2. Calkin, N., Wilf, H.S.: Recounting the rationals. The American Mathematical Monthly 107(4), 360–363 (2000)
3. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18(8), 453–457 (1975)
4. Gibbons, J., Lester, D., Bird, R.: Enumerating the rationals. Journal of Functional Programming 16(3), 281–291 (2006)
5. Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: a Foundation for Computer Science, 2nd edn. Addison-Wesley Publishing Company, Reading (1994)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献