First Page | Document Content | |
---|---|---|
Date: 2011-06-16 08:22:42Mathematics Multiset Set Path ordering Theoretical computer science Computing | Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗Add to Reading ListSource URL: www.dcs.bbk.ac.ukDownload Document from Source WebsiteFile Size: 545,09 KBShare Document on Facebook |