Bottom-up evaluation of Datalog programs with arithmetic constraints (Q5210782): Difference between revisions

@@ Property / author @@
-Laurent Fribourg
@@ Property / author: Laurent Fribourg / rank @@
-Normal rank
@@ Property / author @@
+Laurent Fribourg
@@ Property / author: Laurent Fribourg / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NQTHM
@@ Property / describes a project that uses: NQTHM / 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/3-540-58156-1_22
+Normal rank
@@ Property / OpenAlex ID @@
+W2096928802
@@ Property / OpenAlex ID: W2096928802 / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835049
@@ Property / cites work: Q3835049 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Bottom-up evaluation of Datalog programs with arithmetic constraints
+Normal rank
@@ Property / cites work @@
+Q4322964
@@ Property / cites work: Q4322964 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694690
@@ Property / cites work: Q4694690 / rank @@
+Normal rank
@@ Property / cites work @@
+Handling infinite temporal data
@@ Property / cites work: Handling infinite temporal data / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Finding repeated elements
@@ Property / cites work: Finding repeated elements / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694689
@@ Property / cites work: Q4694689 / rank @@
+Normal rank
@@ Property / cites work @@
+Pushing constraint selections
@@ Property / cites work: Pushing constraint selections / rank @@
+Normal rank
@@ Property / cites work @@
+Q2914641
@@ Property / cites work: Q2914641 / rank @@
+Normal rank