Tools:MU-TERM

From Termination-Portal.org
Jump to navigationJump to search


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