Difference between revisions of "TPDB"

From Termination-Portal.org
Jump to navigationJump to search
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:

Data: