TPDB

From Termination-Portal.org
Revision as of 22:38, 7 December 2009 by J.waldmann (talk | contribs)
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: