Confluence and semantics of constraint simplification rules

DOI10.1023/A:1009842826135zbMath0951.68070MaRDI QIDQ1300291

Slim Abdennadher, Thom Frühwirth, Holger Meuss

Publication date: 7 September 1999

Published in: Constraints (Search for Journal in Brave)

zbMATH Keywords

constraint handling rulesconstraint simplification rules

Mathematics Subject Classification ID

Related Items (11)

Concurrent goal-based execution of Constraint Handling Rules ⋮ Parallelism, concurrency and distribution in constraint handling rules: A survey ⋮ On Termination, Confluence and Consistent CHR-based Type Inference ⋮ On proving confluence modulo equivalence for Constraint Handling Rules ⋮ Diagrammatic confluence for Constraint Handling Rules ⋮ Strong Joinability Analysis for Graph Transformation Systems in CHR ⋮ CHR(PRISM)-based probabilistic logic learning ⋮ A complete and terminating execution model for Constraint Handling Rules ⋮ Welcome to Constraint Handling Rules ⋮ As time goes by: Constraint Handling Rules ⋮ Transactions in Constraint Handling Rules

This page was built for publication: Confluence and semantics of constraint simplification rules