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

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/59674
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0918-9.pdf1.33 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.authorFerreira, Maria C.F.en
dc.contributor.authorMiddeldorp. Aarten
dc.contributor.authorOhsaki, Hitoshien
dc.contributor.authorZantema, Hansen
dc.date.accessioned2008-07-09T00:14:42Z-
dc.date.available2008-07-09T00:14:42Z-
dc.date.issued1995-08-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/59674-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleTransforming Termination by Self-Labelling(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.spage85-
dc.identifier.epage98-
dc.textversionpublisher-
dc.sortkey09-
dc.addressDepartment of Computer Science, Utrecht Universityen
dc.addressInstitute of Information Sciences and Electronics. University of Tsukubaen
dc.addressInstitute of Information Sciences and Electronics. University of Tsukubaen
dc.addressDepartment of Computer Science, Utrecht Universityen
dcterms.accessRightsopen access-
出現コレクション:0918 書き換えシステムの理論とその応用

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

Export to RefWorks


出力フォーマット 


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