A sufficient condition for the termination of the direct sum of term rewriting systems
Keyword(s):
1987 ◽
Vol 25
(3)
◽
pp. 141-143
◽
1987 ◽
Vol 26
(2)
◽
pp. 65-70
◽
1998 ◽
Vol 208
(1-2)
◽
pp. 87-110
◽
2002 ◽
Vol 13
(06)
◽
pp. 873-887
Keyword(s):
1987 ◽
Vol 49
(1)
◽
pp. 43-79
◽