Similar Items: Semi-continuous Sized Types and Termination
- Büchi Complementation and Size-Change Termination
- Ranking Functions for Size-Change Termination II
- Size-Change Termination, Monotonicity Constraints and Ranking Functions
- The Size-Change Termination Principle for Constructor Based Languages
- Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
- Partial Reconfiguration of Multi-Terminal Bipolar HVDC Systems for Continuous Operation of Offshore Wind Power Plants