ダウンロード数: 117

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1437-11.pdf600.83 kBAdobe PDF見る/開く
タイトル: Representation of successor-type proof-theoretically regular ordinals via limits (Algebra, Languages and Computation)
著者: Takaki, Osamu
著者名の別形: 高木, 理
発行日: Jun-2005
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1437
開始ページ: 72
終了ページ: 77
URI: http://hdl.handle.net/2433/47472
出現コレクション:1437 Algebra, Languages and Computation

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

Export to RefWorks


出力フォーマット 


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