Difference between revisions of "Tools:MU-TERM"

From Termination-Portal.org
Jump to navigationJump to search
(No difference)

Revision as of 09:51, 19 May 2008


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