Q5020651 (Q5020651): Difference between revisions

@@ Property / cites work @@
+Q3525697
@@ Property / cites work: Q3525697 / rank @@
+Normal rank
@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+On the complexity of branching programs and decision trees for clique functions
+Normal rank
@@ Property / cites work @@
+Recursive query processing: The power of logic
@@ Property / cites work: Recursive query processing: The power of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules
@@ Property / cites work: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391450
@@ Property / cites work: Q4391450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844168
@@ Property / cites work: Q4844168 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree dimension in verification of constrained Horn clauses
+Normal rank
@@ Property / cites work @@
+Directed Model Checking for B: An Evaluation and New Techniques
+Normal rank
@@ Property / cites work @@
+Q2767047
@@ Property / cites work: Q2767047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723916
@@ Property / cites work: Q2723916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763965
@@ Property / cites work: Q2763965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
+Normal rank
@@ Property / cites work @@
+Q2754127
@@ Property / cites work: Q2754127 / rank @@
+Normal rank