Similar Items: Local Termination: theory and practice
- The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
- Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
- Algebraic Notions of Termination
- Deciding Conditional Termination
- Termination in Convex Sets of Distributions
- Hydra Battles and AC Termination