Jump to content

TPDB

From Termination-Portal.org

Revision as of 21:42, 13 May 2009 by Fuhs (talk | contribs) (Version 5 was also used in the competition of Nov 2008)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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/

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=TPDB&oldid=776"