Cited By
View all- Ben-Amram A(2010)Size-Change Termination, Monotonicity Constraints and Ranking FunctionsLogical Methods in Computer Science10.2168/LMCS-6(3:2)2010Volume 6, Issue 3Online publication date: 11-Jul-2010
- Ben-Amram A(2009)Size-Change Termination, Monotonicity Constraints and Ranking FunctionsProceedings of the 21st International Conference on Computer Aided Verification10.1007/978-3-642-02658-4_12(109-123)Online publication date: 23-Jun-2009
- Ben-Amram A(2008)Size-change termination with difference constraintsACM Transactions on Programming Languages and Systems10.1145/1353445.135345030:3(1-31)Online publication date: 21-May-2008
- Show More Cited By