Termination Competition 2004-2007
Welcome to the site of the Termination Competition 2004-2007. You might want to look at the
new Termination Competition Web site
. From here you may access to:
The
Termination Problem Data Base
. You may also access to the
2003 version
.
The
first competition'2004
The
second competition'2005
The
third competition'2006
The
fourth competition'2007
Last modified: Fri Mar 10 09:58:22 CET 2006