Difference between revisions of "Tools:MU-TERM"

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

Revision as of 09:44, 19 May 2008


μ-Term (A tool for proving termination properties of TRSs)