research
∙
04/30/2019
Inquiry of P-reduction in Cook's 1971 Paper – from Oracle machine to Turing machine
In this paper, we inquire the key concept P-reduction in Cook's theorem ...
research
∙
02/28/2019