Pages that link to "Item:Q2403819"
From MaRDI portal
The following pages link to Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819):
Displayed 4 items.
- Residuation for soft constraints: lexicographic orders and approximation techniques (Q2055790) (← links)
- A constraint-based language for multiparty interactions (Q2229145) (← links)
- Distributivity and residuation for lexicographic orders (Q2671819) (← links)
- Soft constraint automata with memory (Q5918138) (← links)