Author:
Aanderaa Stål,Cohen Daniel E.
Reference19 articles.
1. E. Börger A new general approach to the theory of the many-one equivalence of decision problems for algorithmic systems, Z. Math. Logik Grundlagen Math. (to appear).
2. The word problem,;Boone;Annals of Math.,1959
3. Word problems and recursively enumerable degree of unsolvability. A sequel on finitely presented groups,;Boone;Annals of Math.,1966
4. Word problems and recursively enumerable degrees of unsolvability. An emendation,;Boone;Annals of Math.,1971
5. The word problem,;Britton;Annals of Math.,1963
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献