ダウンロード数: 119

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1437-11.pdf600.83 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorTakaki, Osamuen
dc.contributor.alternative高木, 理ja
dc.date.accessioned2007-09-11T07:07:51Z-
dc.date.available2007-09-11T07:07:51Z-
dc.date.issued2005-06-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/47472-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleRepresentation of successor-type proof-theoretically regular ordinals via limits (Algebra, Languages and Computation)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1437-
dc.identifier.spage72-
dc.identifier.epage77-
dc.textversionpublisher-
dc.sortkey11-
dcterms.accessRightsopen access-
出現コレクション:1437 Algebra, Languages and Computation

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


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