Pages that link to "Item:Q5096302"
From MaRDI portal
The following pages link to A confluent relational calculus for higher-order programming with constraints (Q5096302):
Displaying 8 items.
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- Conservativity of nested relational calculi with internal generic functions (Q1321813) (← links)
- A confluent calculus for concurrent constraint programming (Q1391935) (← links)
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Expressing quantification in relational calculus by participation constraints (Q2365992) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q2849855) (← links)
- A foundation for higher-order concurrent constraint programming (Q5096300) (← links)