Porous invariants (Q832262): Difference between revisions

@@ Property / cites work @@
+O-Minimal Invariants for Discrete-Time Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Fast Acceleration of Ultimately Periodic Relations
+Normal rank
@@ Property / cites work @@
+Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time
+Normal rank
@@ Property / cites work @@
+Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Undecidability of infinite post correspondence problem for instances of size 8
+Normal rank
@@ Property / cites work @@
+Q4792066
@@ Property / cites work: Q4792066 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Register Machines with Polynomial Updates
+Normal rank
@@ Property / cites work @@
+Analyzing program termination and complexity automatically with \textsf{AProVE}
+Normal rank
@@ Property / cites work @@
+Bounded Algol-Like Languages
@@ Property / cites work: Bounded Algol-Like Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of infinite post correspondence problem for instances of Size 9
+Normal rank
@@ Property / cites work @@
+Polynomial Invariants for Affine Programs
@@ Property / cites work: Polynomial Invariants for Affine Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time algorithm for the orbit problem
@@ Property / cites work: Polynomial-time algorithm for the orbit problem / rank @@
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
+Normal rank
@@ Property / cites work @@
+Vector addition system reachability problem
@@ Property / cites work: Vector addition system reachability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5796052
@@ Property / cites work: Q5796052 / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of the existence of polyhedral invariants in transition systems
+Normal rank
@@ Property / cites work @@
+Decision Problems for Linear Recurrence Sequences
@@ Property / cites work: Decision Problems for Linear Recurrence Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata
+Normal rank