Pages that link to "Item:Q3585170"
From MaRDI portal
The following pages link to A complete and terminating execution model for Constraint Handling Rules (Q3585170):
Displaying 7 items.
- The expressive power of CHR with priorities (Q388222) (← links)
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- (Q2767134) (← links)
- Exhaustive Execution of CHR Through Source-to-Source Transformation (Q2949701) (← links)
- Parallelism, concurrency and distribution in constraint handling rules: A survey (Q4559827) (← links)
- Containment in Rule-Based Models (Q5404101) (← links)
- A Unified Semantics for Constraint Handling Rules in Transaction Logic (Q5425409) (← links)