ダウンロード数: 115

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1832-15.pdf1.12 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorGhani, Ahmad Termimi Aben
dc.contributor.authorHiguchi, Kojiroen
dc.contributor.authorTanaka, Kazuyukien
dc.contributor.alternative樋口, 幸治郎ja
dc.contributor.alternative田中, 一之ja
dc.contributor.transcriptionヒグチ, コウジロウja
dc.contributor.transcriptionタナカ, カズユキja
dc.date.accessioned2015-03-03T04:37:29Z-
dc.date.available2015-03-03T04:37:29Z-
dc.date.issued2013-04-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/194846-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleValues on generalized reachability games (Proof theory and complexity)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1832-
dc.identifier.spage143-
dc.identifier.epage153-
dc.textversionpublisher-
dc.sortkey15-
dc.addressMathematical Institute, Tohoku Universityen
dc.addressMathematical Institute, Tohoku Universityen
dc.addressMathematical Institute, Tohoku Universityen
dc.address.alternative東北大学理学研究科ja
dc.address.alternative東北大学理学研究科ja
dc.address.alternative東北大学理学研究科ja
dcterms.accessRightsopen access-
出現コレクション:1832 証明論と複雑性

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

Export to RefWorks


出力フォーマット 


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