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

Termination Competition

Welcome to the site of the Termination Competition. 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