Observable Confluence for Constraint Handling Rules

DOI10.1007/978-3-540-74610-2_16zbMath1213.68161OpenAlexW1513409503MaRDI QIDQ3608657

Gregory J. Duck, Martin Sulzmann, Peter J. Stuckey

Publication date: 5 March 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74610-2_16

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items

Confluence Modulo Equivalence in Constraint Handling Rules, Exhaustive Execution of CHR Through Source-to-Source Transformation, A Formal Semantics for the Cognitive Architecture ACT-R, Constraint handling rules with binders, patterns and generic quantification, On proving confluence modulo equivalence for Constraint Handling Rules, Strong Joinability Analysis for Graph Transformation Systems in CHR, Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities, Observational equivalences for linear logic concurrent constraint languages, Transactions in Constraint Handling Rules, Models and emerging trends of concurrent constraint programming