Publisher
Springer International Publishing
Reference22 articles.
1. Arrighi, P., Dowek, G.: Causal graph dynamics. Inf. Comput. 223, 78–93 (2013)
2. Buss, S.R., Hay, L.: On truth-table reducibility to SAT. Inf. Comput. 91(1), 86–102 (1991)
3. Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the Third Annual ACM Symposium on Theory of Computing, STOC 1971, Shaker Heights, Ohio, USA, pp. 151–158. ACM (1971)
4. Dantchev, S.S.: Dynamic neighbourhood cellular automata. In: Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22–24 September 2008, pp. 60–68 (2008)
5. Dubacq, J.-C.: Different kinds of neighborhood-varying cellular automata. Maîtrise/honour bachelor degree, École normale superiéure de Lyon (1994)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献