Term Rewriting and Applications, vol. 4533
The Termination Competition
eBook
Full text availability for this item
Coverage:
- 2007