Similar Items: Monotonicity Constraints for Termination in the Integer Domain
- Size-Change Termination, Monotonicity Constraints and Ranking Functions
- Datatype defining rewrite systems for naturals and integers
- Predefined-Time Convergence Terminal Sliding Mode Guidance Laws Against Angle Constraints
- Solving finite-domain linear constraints in presence of the $texttt{alldifferent}$
- Theories of real addition with and without a predicate for integers
- Affine Extensions of Integer Vector Addition Systems with States