TY - GEN
T1 - The Termination Competition
AU - Marché, C.
AU - Zantema, H.
PY - 2007
Y1 - 2007
N2 - Since 2004, a Termination Competition is organized every year. This competition boosted a lot the development of automatic termination tools, but also the design of new techniques for proving termination. We present the background, results, and conclusions of the three first editions, and discuss perspectives and challenges for the future.
AB - Since 2004, a Termination Competition is organized every year. This competition boosted a lot the development of automatic termination tools, but also the design of new techniques for proving termination. We present the background, results, and conclusions of the three first editions, and discuss perspectives and challenges for the future.
U2 - 10.1007/978-3-540-73449-9_23
DO - 10.1007/978-3-540-73449-9_23
M3 - Conference contribution
SN - 978-3-540-73447-5
T3 - Lecture Notes in Computer Science
SP - 303
EP - 313
BT - Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007) 26-28 June 2007, Paris, France
A2 - Baader, F.
PB - Springer
CY - Berlin, Germany
T2 - conference; RTA 2007, Paris, France; 2007-06-26; 2007-06-28
Y2 - 26 June 2007 through 28 June 2007
ER -