The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition.
|Title of host publication||Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)|
|Editors||A. Geser, H. Sondergaard|
|Place of Publication||S.l.|
|Publisher||Computing Research Repository|
|Publication status||Published - 2006|