Similar Items: Size-Change Termination, Monotonicity Constraints and Ranking Functions
- Ranking Functions for Size-Change Termination II
- Monotonicity Constraints for Termination in the Integer Domain
- Büchi Complementation and Size-Change Termination
- The Size-Change Termination Principle for Constructor Based Languages
- Semi-continuous Sized Types and Termination
- A Kendall’s rank correlation coefficient-based decision tree for monotonic classification problem