Publisher
Springer Nature Switzerland
Reference8 articles.
1. Church, A.: The Calculi of Lambda-Conversion. Annals of Mathematics Studies, No. 6. Princeton University Press, Princeton (1941)
2. Cook, S., Reckhow, R.: Time bounded random access machines. J. Comput. System Sci. 7, 354–375 (1973)
3. Gödel, K.: Zum entscheidungsproblem des logischen funktionenkalküls. Monatsh. Math. Phys. 40(1), 433–443 (1933)
4. Kari, L., Seki, S., Sosík, P.: DNA computings–foundations and implications. In: Handbook of Natural Computing, pp. 1073–1127. Springer, New York (2012)
5. Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)