Logical optimality of groundness analysis (Q1605228): Difference between revisions

@@ Property / cites work @@
+Q3998976
@@ Property / cites work: Q3998976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal groundness analysis using propositional logic
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+The powerset operator on abstract interpretations
@@ Property / cites work: The powerset operator on abstract interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+“Optimal” collecting semantics for analysis in a hierarchy of logic program semantics
+Normal rank
@@ Property / cites work @@
+Q3898534
@@ Property / cites work: Q3898534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3287296
@@ Property / cites work: Q3287296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038706
@@ Property / cites work: Q4038706 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank