Computability and the Symmetric Difference Operator
暂无分享,去创建一个
Steffen Lempp | Uri Andrews | Peter M. Gerdes | Noah D Schweber | Joseph S. Miller | Peter M Gerdes | Joseph S Miller | S. Lempp | U. Andrews | N. Schweber
[1] Theodore A. Slaman,et al. Complementation in the Turing degrees , 1989, Journal of Symbolic Logic.
[2] Manuel Lerman,et al. Degrees of Unsolvability: Local and Global Theory , 1983 .
[3] R. Soare. Recursively enumerable sets and degrees , 1987 .
[4] S. Barry Cooper,et al. The strong anticupping property for recursively enumerable degrees , 1989, Journal of Symbolic Logic.
[5] Klaus Ambos-Spies,et al. Degrees of Unsolvability , 2014, Computational Logic.
[6] P. Odifreddi. Classical recursion theory , 1989 .