Gruppen mit vorgeschriebenem Wortproblem
暂无分享,去创建一个
[1] William W. Boone. Word Problems and Recursively Enumerable Degrees of Unsolvability , 1971 .
[2] Donald J. Collins. Truth-Table Degrees and the Boone Groups , 1971 .
[3] Martin Ziegler. Ein Rekursiv Aufzählbarer btt-Grad, der Nicht Zum Wortproblem Einer Gruppe Gehört , 1976, Math. Log. Q..
[4] William W. Boone,et al. An algebraic characterization of groups with soluble word problem , 1974, Journal of the Australian Mathematical Society.
[5] William W. Boone,et al. Word Problems and Recursively Enumerable Degrees of Unsolvability. A First Paper on Thue Systems , 1966 .
[6] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .