Author:
Forster Yannick,Smolka Gert
Publisher
Springer International Publishing
Reference16 articles.
1. Lecture Notes in Computer Science;A Asperti,2012
2. Asperti, A., Ricciotti, W.: A formalization of multi-tape turing machines. Theoret. Comput. Sci. 603, 23–42 (2015)
3. Barendregt, H.P., Calculus, T.L.: Its Syntax and Semantics, 2 revised edn. North-Holland, Amsterdam (1984)
4. Bauer, A.: First steps in synthetic computability theory. ENTCS 155, 5–31 (2006)
5. Boolos, G., Burgess, J.P., Jeffrey, R.C.: Computability and Logic, 5th edn. Cambridge University Press, Cambridge (2007)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献