2004年 Persistence of termination for righr-linear term rewriting systems 24th TRS meeting M. Iwami 記述言語 英語 会議種別 口頭発表(一般) 開催地 島根大学