1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 0918 書き換えシステムの理論とその応用
ダウンロード数: 114

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/59659
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0918-24.pdf743.17 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorIshikawa, Hiroshien
dc.contributor.authorFutatsugi, Kokichien
dc.contributor.authorWatanabe, Takuoen
dc.date.accessioned2008-07-09T00:14:25Z-
dc.date.available2008-07-09T00:14:25Z-
dc.date.issued1995-08-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/59659-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleConcurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume918-
dc.identifier.spage292-
dc.identifier.epage298-
dc.textversionpublisher-
dc.sortkey24-
dc.addressSchool of Information Science, Japan Advanced Institute of Science and Technologyen
dc.addressSchool of Information Science, Japan Advanced Institute of Science and Technologyen
dc.addressSchool of Information Science, Japan Advanced Institute of Science and Technologyen
dcterms.accessRightsopen access-
出現コレクション:0918 書き換えシステムの理論とその応用

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

Export to RefWorks


出力フォーマット 


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