TPDB

TPDB: Termination Problem Data Base https://www.lri.fr/~marche/tpdb/format.html Format to specify Term rewrite systems (TRSs)
Specification format

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.