Pages that link to "Item:Q5504677"
From MaRDI portal
The following pages link to Transactions in Constraint Handling Rules (Q5504677):
Displaying 5 items.
- Constraint Handling Rules (Q3639651) (← links)
- Unfolding for CHR programs (Q4592981) (← links)
- A Unified Semantics for Constraint Handling Rules in Transaction Logic (Q5425409) (← links)
- Transactions in Constraint Handling Rules (Q5504677) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897497) (← links)