Tools:MU-TERM

From Termination-Portal.org
Jump to: navigation, search


MU-TERM (A tool for proving termination properties of TRSs)

Personal tools