ラビンの「関数の計算の難易度、および再帰セットの半順序付け」

を探しています：

• マイケル・O・ラビン、「関数の計算の難易度、再帰セットの部分的順序付け」、ヘブライ大学、エルサレム、1960

概要：

「特定の計算可能な（再帰的な）関数を計算するタスクに固有の作業量を測定しようとします。コンピューティングの難易度の概念が導入され、研究されています。この概念は、問題の関数の計算に使用される理想的なコンピューター（チューリングマシン）から独立しているという意味で不変です。相対的な難易度に応じて、解決可能な決定問題（再帰集合）の分類に適用されます。」

オンラインまたは図書館でコピーを見つけることができませんでした。

イスラエル国立図書館には貸し出し可能なコピーが2つあります。

これがスキャンされたコピーです。