AProVE

Analysis of Complexity Integer Term Rewrite System

Accepted file formats: cint and xml

Version Termcomp2019
Disclaimer