Similar Items: Ranking Functions for Size-Change Termination II
- Size-Change Termination, Monotonicity Constraints and Ranking Functions
- Büchi Complementation and Size-Change Termination
- The Size-Change Termination Principle for Constructor Based Languages
- Semi-continuous Sized Types and Termination
- Complete Call-by-Value Calculi of Control Operators II: Strong Termination
- Algebraic Notions of Termination