Pages that link to "Item:Q1391102"
From MaRDI portal
The following pages link to Confluence in concurrent constraint programming (Q1391102):
Displaying 14 items.
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
- A confluent calculus for concurrent constraint programming (Q1391935) (← links)
- Situated simplification (Q1391936) (← links)
- Truly concurrent constraint programming (Q1605181) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Constraints meet concurrency (Q2442869) (← links)
- (Q2767080) (← links)
- Bisimilarity in concurrent constraint programming (Q2883099) (← links)
- Confluence Competition 2015 (Q3454083) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- Logic Programming (Q5475773) (← links)
- Truly concurrent constraint programming (Q6104382) (← links)