View in EDS

Size-Change Termination with Difference Constraints.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first