AProVE

Analysis of Term Rewrite System (WST Format)

Accepted file formats: trs

Version Termcomp2020
Disclaimer