Difference between revisions of "TPDB"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 3: | Line 3: | ||
Syntax and semantics specification: | Syntax and semantics specification: | ||
| + | * version 7.* (XML format): http://dev.aspsimon.org/xtc.xsd | ||
* for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html | * for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html | ||
Revision as of 22:44, 7 December 2009
The Termination Problems Data Base collects termination problems that are being used in termination competitions.
Syntax and semantics specification:
- version 7.* (XML format): http://dev.aspsimon.org/xtc.xsd
- for versions up to 5.*: http://www.lri.fr/~marche/tpdb/format.html
Data:
- version 7.* (2009) http://termcomp.uibk.ac.at/status/downloads/
- version 5.* (2008 .. 2009) http://dev.aspsimon.org/projects/termcomp/downloads/
- earlier versions (2003 .. 2007) http://www.lri.fr/~marche/tpdb/
