TPDB

From Termination-Portal.org
Revision as of 14:54, 21 February 2014 by J.waldmann (talk | contribs) (→‎Sources)
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:

Data

Sources

TPDB problems are collected from a variety of sources. The following are references for classical problem sets that appear in TPDB.

Tools

java -jar convert.jar someTrs.trs > someTrs.xml 
xsltproc xtc2tpdb.xsl someTrs.xml > someTrs.trs