Truth-Table Degrees and the Boone Groups
暂无分享，去创建一个
[1] William W. Boone,et al. Word Problems and Recursively Enumerable Degrees of Unsolvability. A First Paper on Thue Systems , 1966 .
[2] J. L. Britton,et al. THE WORD PROBLEM , 1963 .
暂无分享，去创建一个
[1] William W. Boone,et al. Word Problems and Recursively Enumerable Degrees of Unsolvability. A First Paper on Thue Systems , 1966 .
[2] J. L. Britton,et al. THE WORD PROBLEM , 1963 .