Difference between revisions of "Tools:MU-TERM"

From Termination-Portal.org
Jump to navigationJump to search
Line 6: Line 6:
  
 
{{Tool
 
{{Tool
|shortname=muTerm
+
|shortname=MuTerm
 
|longname=A tool for proving termination properties of TRSs
 
|longname=A tool for proving termination properties of TRSs
 
|homepage=http://zenon.dsic.upv.es/muterm/
 
|homepage=http://zenon.dsic.upv.es/muterm/

Revision as of 10:09, 19 May 2008


MuTerm (A tool for proving termination properties of TRSs)