On proving confluence modulo equivalence for Constraint Handling Rules (Q511019): Difference between revisions

@@ Property / cites work @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence and semantics of constraint simplification rules
+Normal rank
@@ Property / cites work @@
+Diagrammatic confluence for Constraint Handling Rules
+Normal rank
@@ Property / cites work @@
+Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
+Normal rank
@@ Property / cites work @@
+A declarative approach for first-order built-in's of Prolog
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+A complete and terminating execution model for Constraint Handling Rules
+Normal rank
@@ Property / cites work @@
+CHR grammars
@@ Property / cites work: CHR grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence Modulo Equivalence in Constraint Handling Rules
+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 @@
+Confluence in concurrent constraint programming
@@ Property / cites work: Confluence in concurrent constraint programming / 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 @@
+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 @@
+Q4391450
@@ Property / cites work: Q4391450 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / 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 @@
+Higher-order rewrite systems and their confluence
@@ Property / cites work: Higher-order rewrite systems and their confluence / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Uniform confluence in concurrent computation
@@ Property / cites work: Uniform confluence in concurrent computation / rank @@
+Normal rank
@@ Property / cites work @@
+A confluent relational calculus for higher-order programming with constraints
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules. Current research topics
+Normal rank
@@ Property / cites work @@
+Testing for the Church-Rosser Property
@@ Property / cites work: Testing for the Church-Rosser Property / rank @@
+Normal rank