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)
Jump to navigationJump to search

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

Syntax and semantics specification:

Data: