Q: What is rho-independent termination?

What is rho-independent termination?

User Avatar
Flexi Avatar