The termination competition 2006

C. Marché, H. Zantema

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

2 Downloads (Pure)

Abstract

The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition.

Original language	English
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
Pages	32-38
Publication status	Published - 2006

@inproceedings{10fb9efaadab459c9129d49c730001be,

title = "The termination competition 2006",

abstract = "The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition.",

author = "C. March{\'e} and H. Zantema",

year = "2006",

language = "English",

pages = "32--38",

editor = "A. Geser and H. Sondergaard",

booktitle = "Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)",

publisher = "Computing Research Repository",

}

TY - GEN

T1 - The termination competition 2006

AU - Marché, C.

AU - Zantema, H.

PY - 2006

Y1 - 2006

N2 - The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition.

AB - The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition.

M3 - Conference contribution

SP - 32

EP - 38

BT - Proceedings Eighth International Workshop on Termination (WST 2006, Seattle WA, USA, August 15-16, 2006)

A2 - Geser, A.

A2 - Sondergaard, H.

PB - Computing Research Repository

CY - S.l.

ER -