![Mathematics / Multiset / Set / Path ordering / Theoretical computer science / Computing Mathematics / Multiset / Set / Path ordering / Theoretical computer science / Computing](https://www.pdfsearch.io/img/52cf0bb7188a9825aab892a5d034b7e8.jpg) 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 Website File Size: 545,09 KBShare Document on Facebook
|