1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 0754 計算および計算量理論とその周辺
ダウンロード数: 201

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/82117
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0754-06.pdf525.77 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author濱口, 清治ja
dc.contributor.author平石, 裕実ja
dc.contributor.author矢島, 脩三ja
dc.contributor.alternativeHAMAGUCHI, Kiyoharuen
dc.contributor.alternativeHIRAISHI, Hiromien
dc.contributor.alternativeYAJIMA, Shuzoen
dc.contributor.transcriptionハマグチ, キヨハルja
dc.contributor.transcriptionヒライシ, ヒロミja
dc.contributor.transcriptionヤジマ, シュウゾウja
dc.date.accessioned2009-07-30T04:51:22Z-
dc.date.available2009-07-30T04:51:22Z-
dc.date.issued1991-06-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/82117-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)ja
dc.title.alternativeOn Relationship between Temporal Logics and Language Hierarchyen
dc.title.transcriptionジソウ ロンリ ト ゲンゴ カイソウ ノ タイオウ カンケイ ニ ツイテ ケイサン オヨビ ケイサンリョウ リロン ト ソノ シュウヘンja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume754-
dc.identifier.spage57-
dc.identifier.epage64-
dc.textversionpublisher-
dc.sortkey06-
dc.address京都大学工学部情報工学教室ja
dc.address京都大学工学部情報工学教室ja
dc.address京都大学工学部情報工学教室ja
dc.address.alternativeDepartment of Information Science, Faculty of Engineering, Kyoto Universityen
dc.address.alternativeDepartment of Information Science, Faculty of Engineering, Kyoto Universityen
dc.address.alternativeDepartment of Information Science, Faculty of Engineering, Kyoto Universityen
dcterms.accessRightsopen access-
出現コレクション:0754 計算および計算量理論とその周辺

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

Export to RefWorks


出力フォーマット 


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