No Result Found
|
|
Year of Publication |
2013
|
Journal |
Applied Mathematical Sciences 7 (66), 3291-3302, 2013
|
Download citation |
Well-foundedness for termination of term rewriting systems