1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 1489 計算理論とアルゴリズムの新展開
このアイテムのアクセス数: 119

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/58208
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1489-30.pdf945.91 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author水谷, 知博ja
dc.contributor.author西田, 直樹ja
dc.contributor.author酒井, 正彦ja
dc.contributor.author坂部, 俊樹ja
dc.contributor.author草刈, 圭一朗ja
dc.contributor.alternativeMIZUTANI, Tomohiroen
dc.contributor.alternativeNISHIDA, Naokien
dc.contributor.alternativeSAKAI, Masahikoen
dc.contributor.alternativeSAKABE, Toshikien
dc.contributor.alternativeKUSAKARI, Keiichirouen
dc.contributor.transcriptionミズタニ, トモヒロja
dc.contributor.transcriptionニシダ, ナオキja
dc.contributor.transcriptionサカイ, マサヒコja
dc.contributor.transcriptionサカベ, トシキja
dc.contributor.transcriptionクサカリ, ケイイチロウja
dc.date.accessioned2008-07-01T05:08:36Z-
dc.date.available2008-07-01T05:08:36Z-
dc.date.issued2006-05-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/58208-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject条件付き項書換え系ja
dc.subjectプログラム変換ja
dc.subject紐解き変換ja
dc.subject文脈依存書換えja
dc.subject所属制約ja
dc.subject.ndc410-
dc.title紐解かれた項書換え系の文脈依存条件の除去のための変換(計算理論とアルゴリズムの新展開)ja
dc.title.alternativeTransformation for Removing Context-Sensitivity of TRSs Obtained by Unraveling(New Trends in Theory of Computation and Algorithm)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1489-
dc.identifier.spage195-
dc.identifier.epage201-
dc.textversionpublisher-
dc.sortkey30-
dc.address名古屋大学工学部電気電子情報工学科ja
dc.address名古屋大学大学院情報科学研究科ja
dc.address名古屋大学大学院情報科学研究科ja
dc.address.alternativeDept. of Information Engineering, School of Engineering, Nagoya Universityen
dc.address.alternativeGraduate School of Information Science, Nagoya Universityen
dc.address.alternativeGraduate School of Information Science, Nagoya Universityen
dcterms.accessRightsopen access-
出現コレクション:1489 計算理論とアルゴリズムの新展開

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

Export to RefWorks


出力フォーマット 


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