Proving Termination of Rewrite Systems Using Bounds
2007 ◽
pp. 273-287
◽
Keyword(s):
2009 ◽
Vol 20
(01)
◽
pp. 57-82
2021 ◽
Keyword(s):
Keyword(s):
2017 ◽
Vol 235
◽
pp. 32-45