AProVE

Analysis of Complexity Integer Term Rewrite System

Accepted file formats: cint and xml

Version Termcomp2020
Disclaimer