Difference between revisions of "TPDB"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (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:
- for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html
Data:
- version 5.* (2008 .. 2009) http://dev.aspsimon.org/projects/termcomp/downloads/
- earlier versions (2003 .. 2007) http://www.lri.fr/~marche/tpdb/
