Difference between revisions of "Tools:MU-TERM"

From Termination-Portal.org
Jump to navigationJump to search
m (Tools:Μ-Term moved to Tools:MuTerm over redirect)
Line 6: Line 6:
  
 
{{Tool
 
{{Tool
|shortname=μ-Term
+
|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 09:52, 19 May 2008


muTerm (A tool for proving termination properties of TRSs)