Advertisement
AProVE
AProVE is a system for automated termination and innermost termination proofs of term rewrite systems (TRSs)....
rewrite systems automated termination termination proofs term rewrite
Advertisement
AProVE is a system for automated termination and innermost termination proofs of term rewrite systems (TRSs)....
rewrite systems automated termination termination proofs term rewrite
About SoftwareSea