Tools:MU-TERM

From Termination-Portal.org
Revision as of 10:09, 19 May 2008 by Rgutierrez (talk | contribs)
Jump to navigationJump to search


MuTerm (A tool for proving termination properties of TRSs)