The Hardness of Finding Linear Ranking Functions for Lasso Programs
Get full text
Paper
Journal Article
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Get full text
Paper
Journal Article