Size-Change Termination with Difference Constraints.
Saved in:
| Title: | Size-Change Termination with Difference Constraints. |
|---|---|
| Authors: | Ben-Amram, Amir M. |
| Source: | ACM Transactions on Programming Languages & Systems; May 2008, Vol. 30 Issue 3, p5-1-31 |
| Database: | Applied Science & Technology Source |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/1353445.1353450 |
