Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗

First Page		Document Content
Date: 2011-06-16 08:22:42 Mathematics 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 List Source URL: www.dcs.bbk.ac.uk Download Document from Source Website File Size: 545,09 KB Share Document on Facebook