ダウンロード数: 345

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0625-27.pdf353.01 kBAdobe PDF見る/開く
タイトル: Counterexamples to Termination for the Direct Sum of Term Rewriting Systems
その他のタイトル: 項書き換えシステムの直和の停止性(計算アルゴリズムの基礎理論)
著者: TOYAMA, Yoshihito
著者名の別形: 外山, 芳人
キーワード: Term rewriting system
termination
発行日: May-1987
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 625
開始ページ: 242
終了ページ: 246
URI: http://hdl.handle.net/2433/99946
出現コレクション:0625 計算アルゴリズムの基礎理論

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

Export to RefWorks


出力フォーマット 


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