ABC: Algebraic Bound Computation for Loops (Q3066094): Difference between revisions

@@ Property / author @@
-Thomas A. Henzinger
@@ Property / author: Thomas A. Henzinger / rank @@
-Normal rank
@@ Property / author @@
+Thomas A. Henzinger
@@ Property / author: Thomas A. Henzinger / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JAMA
@@ Property / describes a project that uses: JAMA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RComp
@@ Property / describes a project that uses: RComp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Valigator
@@ Property / describes a project that uses: Valigator / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scala
@@ Property / describes a project that uses: Scala / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ABC
@@ Property / describes a project that uses: ABC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JAMPACK
@@ Property / describes a project that uses: JAMPACK / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1848153821
@@ Property / OpenAlex ID: W1848153821 / rank @@
+Normal rank