Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Boone, W.W.: The word problem. Proc. Nat. Acad. Sci. U.S.A. 44, 1061–1065 (1958)
2. Boone, W.W.: Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems. Ann. of Math. 83(2), 520–571 (1966)
3. Boone, W.W.: Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups. Ann. of Math. 84(2), 49–84 (1966)
4. Grigorév, D.J.: Time complexity of multidimensional Turing machines. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 88, 47–55 (1979); Studies in constructive mathematics and mathematical logic, VIII
5. Kozen, D.: Automata and Computability. Springer, New York (1997)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献