Pages that link to "Item:Q1300291"
From MaRDI portal
The following pages link to Confluence and semantics of constraint simplification rules (Q1300291):
Displaying 14 items.
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- Concurrent goal-based execution of constraint handling rules (Q2884254) (← links)
- On Termination, Confluence and Consistent CHR-based Type Inference (Q2931268) (← links)
- As time goes by: Constraint Handling Rules (Q3400960) (← links)
- CHR(PRISM)-based probabilistic logic learning (Q3585158) (← links)
- A complete and terminating execution model for Constraint Handling Rules (Q3585170) (← links)
- Welcome to Constraint Handling Rules (Q3616877) (← links)
- (Q4411130) (← links)
- Parallelism, concurrency and distribution in constraint handling rules: A survey (Q4559827) (← links)
- Diagrammatic confluence for Constraint Handling Rules (Q4911146) (← links)
- Strong Joinability Analysis for Graph Transformation Systems in CHR (Q5170283) (← links)
- A Unified Semantics for Constraint Handling Rules in Transaction Logic (Q5425409) (← links)
- Transactions in Constraint Handling Rules (Q5504677) (← links)
- Logic Based Program Synthesis and Transformation (Q5713942) (← links)