ダウンロード数: 95

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1712-21.pdf575.85 kBAdobe PDF見る/開く
タイトル: 左線形かつ$K$-開発閉包な項書換えシステムの合流性に関する考察 (代数と言語のアルゴリズムと計算理論)
著者: 岩見, 宗弘  KAKEN_name
著者名の別形: Iwami, Munehiro
発行日: Sep-2010
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1712
開始ページ: 156
終了ページ: 161
URI: http://hdl.handle.net/2433/170223
出現コレクション:1712 代数と言語のアルゴリズムと計算理論

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


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