A complete and terminating execution model for Constraint Handling Rules (Q3585170): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3829
@@ Property / arXiv ID: 1007.3829 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules
@@ Property / cites work: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities
+Normal rank
@@ Property / cites work @@
+A Linear-Logic Semantics for Constraint Handling Rules
+Normal rank
@@ Property / cites work @@
+Confluence and semantics of constraint simplification rules
+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 @@
+Linear Logical Algorithms
@@ Property / cites work: Linear Logical Algorithms / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3585170