Author:
Moyen Jean-Yves,Simonsen Jakob Grue
Publisher
Springer International Publishing
Reference21 articles.
1. Asperti, A.: The intensional content of Rice’s theorem. In: POPL 2008 (2008)
2. Bellantoni, S., Cook, S.: A new recursion-theoretic characterization of the poly-time functions. Comput. Complex. 2, 97–110 (1992)
3. Blum, M.: A machine-independent theory of the complexity of recursive functions. J. ACM 14(2), 322–336 (1967)
4. Hoyrup, M.: The decidable properties of subrecursive functions. In: ICALP 2016, pp. 108:1–108:13 (2016)
5. Lecture Notes in Computer Science;M Hoyrup,2018
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献