On the Termination of Integer Loops (Q2891402): Difference between revisions

@@ Property / cites work @@
+A new look at the automatic synthesis of linear ranking functions
+Normal rank
@@ Property / cites work @@
+Size-Change Termination, Monotonicity Constraints and Ranking Functions
+Normal rank
@@ Property / cites work @@
+Monotonicity Constraints for Termination in the Integer Domain
+Normal rank
@@ Property / cites work @@
+Deciding stability and mortality of piecewise affine dynamical systems
+Normal rank
@@ Property / cites work @@
+Verification of Gap-Order Constraint Abstractions of Counter Systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Integer Linear Programs
@@ Property / cites work: Termination of Integer Linear Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938633
@@ Property / cites work: Q4938633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+The size-change principle for program termination
@@ Property / cites work: The size-change principle for program termination / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715528
@@ Property / cites work: Q2715528 / rank @@
+Normal rank
@@ Property / cites work @@
+Recurrence with affine level mappings is P-time decidable for CLP
+Normal rank
@@ Property / cites work @@
+Integer and mixed-integer programming models: General properties
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank