Q5092319 (Q5092319): Difference between revisions

@@ Property / cites work @@
+Q5009460
@@ Property / cites work: Q5009460 / rank @@
+Normal rank
@@ Property / cites work @@
+On the linear ranking problem for integer linear-constraint loops
+Normal rank
@@ Property / cites work @@
+Ranking Functions for Linear-Constraint Loops
@@ Property / cites work: Ranking Functions for Linear-Constraint Loops / rank @@
+Normal rank
@@ Property / cites work @@
+On multiphase-linear ranking functions
@@ Property / cites work: On multiphase-linear ranking functions / rank @@
+Normal rank
@@ Property / cites work @@
+On iterating linear transformations over recognizable sets of integers
+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 @@
+Q2769578
@@ Property / cites work: Q2769578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4421931
@@ Property / cites work: Q4421931 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract acceleration of general linear loops
@@ Property / cites work: Abstract acceleration of general linear loops / rank @@
+Normal rank
@@ Property / cites work @@
+Q3803204
@@ Property / cites work: Q3803204 / rank @@
+Normal rank
@@ Property / cites work @@
+Positivity Problems for Low-Order Linear Recurrence Sequences
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4294173
@@ Property / cites work: Q4294173 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank