JAIST Repository >
k. 北陸先端科学技術大学院大学(JAIST) >
k20. 学位論文 >
D-IS. 博士(情報科学) >
D-IS. 平成11年度 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/900

タイトル: 項書換え系の停止性,AC停止性,依存対に関する研究
著者: 草刈, 圭一朗
著者(別表記): くさかり, けいいちろう
キーワード: AC項書換え系,AC停止性,AC依存対, 切り落とし法,消去法,切り落とし変換法.
AC-Term Rewriting System, AC-Termination, AC-De
発行日: Mar-2000
記述: 
Supervisor:外山 芳人
情報科学研究科
博士
タイトル(英語): Termination, AC-Termination and Dependency Pairs of Term Rewriting Systems
著者(英語): KUSAKARI, Keiichirou
言語: eng
URI: http://hdl.handle.net/10119/900
出現コレクション:D-IS. 平成11年度 (Jun.1999 - Mar.2000)

このアイテムのファイル:

ファイル 記述 サイズ形式
870abstract.pdf61KbAdobe PDF見る/開く
870jabstract.pdf13KbAdobe PDF見る/開く
870paper.pdf744KbAdobe PDF見る/開く

当システムに保管されているアイテムはすべて著作権により保護されています。

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係