Difference between revisions of "TPDB"

From Termination-Portal.org
Jump to navigationJump to search
Line 20: Line 20:
 
== Sources ==
 
== Sources ==
  
TPDB problems are collected from a variety of sources. The following gives a few references for "classical" problems.
+
TPDB problems are collected from a variety of sources. The following are references for classical problem sets that appear in TPDB.
 
* TRS/SK90 Steinach, Kühler: Check your Ordering - termination proofs and open Problems, Technical Report SR-90-25, Universität Kaiserslautern, 1990.
 
* TRS/SK90 Steinach, Kühler: Check your Ordering - termination proofs and open Problems, Technical Report SR-90-25, Universität Kaiserslautern, 1990.
 
* TRS/D33 Nachum Dershowitz: 33 Examples of Termination, 1995 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9447
 
* TRS/D33 Nachum Dershowitz: 33 Examples of Termination, 1995 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9447

Revision as of 14:54, 21 February 2014

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