Confluence Modulo Equivalence in Constraint Handling Rules (Q2949698): Difference between revisions

@@ Property / Wikidata QID @@
+Q125525949
@@ Property / Wikidata QID: Q125525949 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Observable Confluence for Constraint Handling Rules
+Normal rank
@@ Property / cites work @@
+Biological Sequence Analysis
@@ Property / cites work: Biological Sequence Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules
@@ Property / cites work: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Diagrammatic confluence for Constraint Handling Rules
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Testing for the Church-Rosser Property
@@ Property / cites work: Testing for the Church-Rosser Property / rank @@
+Normal rank
@@ Property / cites work @@
+As time goes by: Constraint Handling Rules
@@ Property / cites work: As time goes by: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Worst-case Analysis of Set Union Algorithms
@@ Property / cites work: Worst-case Analysis of Set Union Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
+Normal rank