Similar Items: Büchi Complementation and Size-Change Termination
- State of Büchi Complementation
- Unifying Büchi Complementation Constructions
- Ranking Functions for Size-Change Termination II
- Size-Change Termination, Monotonicity Constraints and Ranking Functions
- The Size-Change Termination Principle for Constructor Based Languages
- Semi-continuous Sized Types and Termination