ダウンロード数: 100

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1832-06.pdf1.72 MBAdobe PDF見る/開く
タイトル: A Simplified Characterisation of Provably Computable Functions of the System ID$_1$ of Inductive Definitions : Extended Abstract (Proof theory and complexity)
著者: Eguchi, Naohi
Weiermann, Andreas
著者名の別形: 江口, 直日
発行日: Apr-2013
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1832
開始ページ: 39
終了ページ: 58
URI: http://hdl.handle.net/2433/194855
出現コレクション:1832 証明論と複雑性

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。