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

@@ Property / author @@
-Arnaldo Vieira Moura
@@ Property / author: Arnaldo Vieira Moura / rank @@
-Normal rank
@@ Property / author @@
+Arnaldo Vieira Moura
@@ Property / author: Arnaldo Vieira Moura / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-85762-4_29
+Normal rank
@@ Property / OpenAlex ID @@
+W1532216203
@@ Property / OpenAlex ID: W1532216203 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5505618