DMCA

Size-Change Termination, Monotonicity Constraints and Ranking Functions

by Amir M. Ben-amram
Citations:22 - 4 self