TPDB is a library of test problems for termination provers. Currently,
it includes termination problems for Term rewrite systems and logic
The aim of this web site is to provide in the future sets of problems for
application of termination.
Please, contact us if you have new
problems in any of the available categories or if you are interested in a