Term Rewriting and Applications, vol. 4533
Termination by quasi-periodic interpretations
eBook
Full text availability for this item
Coverage:
- 2007