講演・口頭発表等

2004年

An improved recursive decomposition ordering for term rewriting systems revisited

25th TRS meeting
  • M. Iwami

記述言語
会議種別
口頭発表(一般)
開催地
三重大学
国・地域
日本