As time goes by: Constraint Handling Rules (Q3400960): Difference between revisions

@@ Property / cites work @@
+Optimal union-find in Constraint Handling Rules
@@ Property / cites work: Optimal union-find in Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+The Munich Rent Advisor: A success for logic programming on then Internet
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules
@@ Property / cites work: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Semantics for Constraint Handling Rules in Transaction Logic
+Normal rank
@@ Property / cites work @@
+Principal Type Inference for GHC-Style Multi-parameter Type Classes
+Normal rank
@@ Property / cites work @@
+Understanding functional dependencies via constraint handling rules
+Normal rank
@@ Property / cites work @@
+Automatic generation of rule-based constraint solvers over finite domains
+Normal rank
@@ Property / cites work @@
+Q4398845
@@ Property / cites work: Q4398845 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional semantics for CHR
@@ Property / cites work: A compositional semantics for CHR / rank @@
+Normal rank
@@ Property / cites work @@
+Opium: an extendable trace analyzer for Prolog
@@ Property / cites work: Opium: an extendable trace analyzer for Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence and semantics of constraint simplification rules
+Normal rank