Back to Results
First PageMeta Content
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

Document Date: 2011-06-16 08:22:42


Open Document

File Size: 545,09 KB

Share Result on Facebook
UPDATE