このアイテムのアクセス数: 67

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0790-36.pdf593.78 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.author張, 磊ja
dc.contributor.author大山口, 通夫ja
dc.contributor.author伊藤, 英則ja
dc.contributor.alternativeZhang, Leien
dc.contributor.alternativeOyamaguchi, Michioen
dc.contributor.alternativeItoh, Hidenorien
dc.contributor.transcriptionオヤマグチ, ミチオja
dc.contributor.transcriptionイトウ, ヒデノリja
dc.date.accessioned2009-07-30T05:14:44Z-
dc.date.available2009-07-30T05:14:44Z-
dc.date.issued1992-06-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/82641-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title非線形項書き換えシステムのE-非オーバーラップ性について(理論計算機科学とその周辺)ja
dc.title.alternativeOn the E-nonoverlapping Property of Nonlinear Term Rewriting Systemsen
dc.title.transcriptionヒセンケイ コウ カキカエ システム ノ E ヒ オーバーラップセイ ニ ツイテ リロン ケイサンキ カガク ト ソノ シュウヘンja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume790-
dc.identifier.spage263-
dc.identifier.epage268-
dc.textversionpublisher-
dc.sortkey36-
dc.address名古屋工業大学ja
dc.address三重大学ja
dc.address名古屋工業大学ja
dc.address.alternativeNagoya Institute of Technologyen
dc.address.alternativeMie Universityen
dc.address.alternativeNagoya Institute of Technologyen
dcterms.accessRightsopen access-
出現コレクション:0790 理論計算機科学とその周辺

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

Export to RefWorks


出力フォーマット 


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