Revision as of 11:19, 7 March 2014 by Fuhs (talk | contribs) (TPDB 8.0.6 was already available in 2012, see also
Jump to navigationJump to search

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

Syntax and semantics specification

see also:



The following are references for classical problem sets that appear in TPDB.

TPDB problems are collected from a variety of sources, by a variety of contributors. Often, the author of the problem is not the creator of the respective TPDB file. Sometimes, TPDB file structure (directory names) have been changed.


java -jar convert.jar someTrs.trs > someTrs.xml 
xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs
  • Haskell library for reading and writing TPDB (plain and XML format) [1]