Decreasing Diagrams and Relative Termination
2010 ◽
pp. 487-501
◽
Keyword(s):
1990 ◽
Vol 45
(5)
◽
pp. 1687-1703
◽
2011 ◽
Vol 47
(4)
◽
pp. 481-501
◽
Keyword(s):