Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference16 articles.
1. W. Ackermann, Zum Hilbertschen Aufbau der reellen Zahlen, Math. Ann. 99(1928)1–36, English translation in: J. van Heijenoort,From Frege to Gödel (Harvard University Press, 1981) pp. 493–507.
2. A. Church,The Calculi of Lambda-Conversion (Princeton University Press, Princeton, NJ, 1941).
3. L. Colson, About primitive recursive algorithms,Proc. 16th Int. Colloq. on Automata, Languages and Programming, eds. G. Ausiello, M. Dezani-Ciancaglini and S. Ronchi Della Rocca, LNCS 372 (Springer, 1989) 194–206. Journal version in TCS 83(1991)57–69.
4. L. Colson, On list prinitive recursion and the complexity of computinginf, BIT 32(1992)5–9.
5. L. Colson, Représentation intentionnelle d'algorithmes dans les systèmes fonctionnels: une étude de cas, Ph.D. Thesis, Université Paris 7 (1991).
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献