Pages that link to "Item:Q2785838"
From MaRDI portal
The following pages link to An algebraic perspective of constraint logic programming (Q2785838):
Displaying 8 items.
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Confluence in concurrent constraint programming (Q1391102) (← links)
- Alloy*: a general-purpose higher-order relational constraint solver (Q2009609) (← links)
- Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section (Q3507362) (← links)
- Algèbres effectives dans la programmation logique avec contraintes (Q4012670) (← links)
- (Q4944894) (← links)
- On the expressiveness of spatial constraint systems (Q5240218) (← links)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Q5504662) (← links)