Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Termination Competition 2004-2007

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