WST 2016

15th International Workshop on Termination

September 5-7, 2016, Obergurgl, Austria

Proceedings

PDF