Difference between revisions of "TPDB"

From Termination-Portal.org
Jump to navigationJump to search
(New page: The Termination Problems Data Base collects termination problems that are being used in termination competitions. Syntax and semantics specification: * for versions up to 5.*: http://www....)
 
m (Version 5 was also used in the competition of Nov 2008)
Line 6: Line 6:
  
 
Data:
 
Data:
* version 5.* (2009)  http://dev.aspsimon.org/projects/termcomp/downloads/
+
* version 5.* (2008 .. 2009)  http://dev.aspsimon.org/projects/termcomp/downloads/
 
* earlier versions (2003 .. 2007)  http://www.lri.fr/~marche/tpdb/
 
* earlier versions (2003 .. 2007)  http://www.lri.fr/~marche/tpdb/

Revision as of 21:42, 13 May 2009

The Termination Problems Data Base collects termination problems that are being used in termination competitions.

Syntax and semantics specification:

Data: