Proving termination properties with \textsc{mu-term} (Q3067476)

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

Proving termination properties with \textsc{mu-term}