Funder
National Natural Science Foundation of China
Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. Termination, deadlock, and divergence;Aceto;J. ACM,1992
2. An unsolvable problem of elementary number theory;Church;Am. J. Math.,1936
3. Computability: An Introduction to Recursive Function Theory;Cutland,1980
4. Machine models and simulations;van Emde Boas,1990
5. Nondeterministic structure of computation;Fu;Math. Struct. Comput. Sci.,2015