Strong Solovay reducibility

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

タイトル
Strong Solovay reducibility

種類
「証明論と計算論の最前線」@RIMSでの講演

ダウンロード
rims