Confluence and semantics of constraint simplification rules
From MaRDI portal
Publication:1300291
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)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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