Diagrammatic confluence for Constraint Handling Rules
Work
Year: 2012
Type: article
Abstract: Confluence is a fundamental property of Constraint Handling Rules (CHR) since, as in other rewriting formalisms, it guarantees that the computations are not dependent on rule application order, and al... more
Author Rémy Haemmerlé
Institution Universidad Politécnica de Madrid
Cites: 30
Cited by: 5
Related to: 10
FWCI: 1.444
Citation percentile (by year/subfield): 71.72
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green