2005年
An Improved Recursive Decomposition Ordering for Term Rewriting Systems Revisited
``Advances in Logic Based Intelligent Systems, Selected Papers of LAPTEC (5th The Congress of Logic Applied to Technology)'', Frontiers in Artificial Intelligence and its Applications
- 巻
- 132
- 号
- 開始ページ
- 18
- 終了ページ
- 25
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)