Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. Decision procedures for surjectivity and injectivity of parallel maps for tesselation structures;Amoroso;J. Comput. System Sci.,1972
2. The undecidability of the domino problem;Berger;Mem. Amer. Math. Soc.,1966
3. The complexity of theorem-proving procedures;Cook;Proc. 3rd Ann. ACM Symp. on Theory of Computing,1971
4. Undecidability of the surjectivity problem for 2D cellular automata: a simplified proof;Durand,1993
5. B. Durand, The surjectivity problem for 2D cellular automata, J. Comput. System Sci., to appear.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献