The axiomatic treatment of the computational complexity of partial recursive functions initiated by Blum is extended to relatively computable functions (as computed, for example, by Turing machines ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する