Strong Solovay reducibility

履歴
2024年3月12日　スライドをアップロード

タイトル
Strong Solovay reducibility

種類
CCR2024での講演

ダウンロード
ccr