The Termination Problems Data Base
Browse
the database
The database as a
single tar file
The
Format
of the files
You may also access to the
2003 version
.
3/5/2004 Last modified: Mon May 3 09:49:47 CEST 2004