AProVE

Analysis of Integer Term Rewrite System (RTA'09)

Accepted file formats: itrs

Version Termcomp2019
Disclaimer