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