Endomorphisms for Non-trivial Non-linear Loop Invariant Generation (Q5505618): Difference between revisions

@@ Property / cites work @@
+Q2769581
@@ Property / cites work: Q2769581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-linear loop invariant generation using Gröbner bases
+Normal rank
@@ Property / cites work @@
+Q2722048
@@ Property / cites work: Q2722048 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of polynomial invariants of bounded degree using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Generating Polynomial Invariants with DISCOVERER and QEPCAD
+Normal rank
@@ Property / cites work @@
+Reasoning Algebraically About P-Solvable Loops
@@ Property / cites work: Reasoning Algebraically About P-Solvable Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Generating all polynomial invariants in simple loops
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Q4411947
@@ Property / cites work: Q4411947 / rank @@
+Normal rank
@@ Property / cites work @@
+Endomorphisms for Non-trivial Non-linear Loop Invariant Generation
+Normal rank
@@ Property / cites work @@
+Q2770573
@@ Property / cites work: Q2770573 / rank @@
+Normal rank